:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Altuntas, Alper, Baker, Allison H., Baugh, John, Gopalakrishnan, Ganesh, Siegel, Stephen F.
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Mathematical Software
Acceso en línea:	https://arxiv.org/abs/2510.13425
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Proceedings of the International Workshop on Verification of Scientific Software
por: Siegel, Stephen F., et al.
Publicado: (2025)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
por: Munive, Jonathan Julián Huerta y, et al.
Publicado: (2024)

LeanBET: Formally-verified surface area calculations in Lean
por: Ugwuanyi, Ejike D., et al.
Publicado: (2026)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
por: Kawamoto, Yusuke, et al.
Publicado: (2024)

Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I
por: Zhang, Junchao
Publicado: (2025)

Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
por: Kaufmann, Matt, et al.
Publicado: (2025)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
por: Wojtak, Connor, et al.
Publicado: (2025)

Formalizing UML State Machines for Automated Verification -- A Survey
por: André, Étienne, et al.
Publicado: (2024)

Smart Contracts Formal Verification: A Systematic Literature Review
por: Davila, Rene, et al.
Publicado: (2025)

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
por: Fages, François
Publicado: (2024)

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
por: Dantas, Pierre, et al.
Publicado: (2026)

Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
por: Li, Letitia W., et al.
Publicado: (2026)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
por: Amilon, Jesper, et al.
Publicado: (2025)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
por: Lopez-Miguel, Ignacio D., et al.
Publicado: (2025)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
por: ter Beek, Maurice H., et al.
Publicado: (2026)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
por: Zhang, Yuanrui
Publicado: (2024)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
por: Andresel, Medina, et al.
Publicado: (2026)

Reusable Formal Verification of DAG-based Consensus Protocols
por: Bertrand, Nathalie, et al.
Publicado: (2024)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
por: Murphy, William, et al.
Publicado: (2024)

Satisfiability.jl: Satisfiability Modulo Theories in Julia
por: Soroka, Emiko, et al.
Publicado: (2023)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
por: Bryant, Dustin, et al.
Publicado: (2025)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
por: Päßler, Juliane, et al.
Publicado: (2023)

Proceedings 14th International Conference on Automated Deduction in Geometry
por: Quaresma, Pedro, et al.
Publicado: (2024)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
por: Lanzinger, Florian, et al.
Publicado: (2024)

Varanus: Runtime Verification for CSP
por: Luckcuck, Matt, et al.
Publicado: (2025)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
por: Dai, Steve, et al.
Publicado: (2025)

Formal Model Guided Conformance Testing for Blockchains
por: Drobnjakovic, Filip, et al.
Publicado: (2025)

Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
por: Somorjai, Márk, et al.
Publicado: (2024)

Intent-aligned Formal Specification Synthesis via Traceable Refinement
por: Ye, Zhe, et al.
Publicado: (2026)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
por: Lang, Frédéric, et al.
Publicado: (2024)

Checking the HAL Interface Specification Continuously, Right from the Start
por: Bentele, Manuel, et al.
Publicado: (2025)

Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
por: Garavel, Hubert
Publicado: (2026)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
por: Ferrando, Angelo
Publicado: (2025)

Tunable Automation in Automated Program Verification
por: Bai, Alexander Y., et al.
Publicado: (2025)

From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
por: Bayat, Farima Fatahi, et al.
Publicado: (2025)

A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
por: Wang, Zhongyi, et al.
Publicado: (2025)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
por: Vázquez, Gricel, et al.
Publicado: (2026)

Proceedings 9th edition of Working Formal Methods Symposium
por: Arusoaie, Andrei, et al.
Publicado: (2025)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
por: De Angelis, Emanuele, et al.
Publicado: (2025)

Automated Verification of Silq Quantum Programs using SMT Solvers
por: Lewis, Marco, et al.
Publicado: (2024)