:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Kaufmann, Matt, Moore, J Strother
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Mathematical Software
Accesso online:	https://arxiv.org/abs/2508.00015
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
di: Altuntas, Alper, et al.
Pubblicazione: (2025)

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

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

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

Extended Abstract: Mutable Objects with Several Implementations
di: Kaufmann, Matt, et al.
Pubblicazione: (2025)

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

An Enumerative Embedding of the Python Type System in ACL2s
di: Xifaras, Samuel, et al.
Pubblicazione: (2025)

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

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

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

Compositionality of Systems and Partially Ordered Runs
di: Fettke, Peter, et al.
Pubblicazione: (2026)

Varanus: Runtime Verification for CSP
di: Luckcuck, Matt, et al.
Pubblicazione: (2025)

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
di: Farrell, Marie, et al.
Pubblicazione: (2021)

Context-Sensitive Abstract Interpretation of Dynamic Languages
di: Piszcz, Franciszek
Pubblicazione: (2024)

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

Foundations for an Abstract Proof Theory in the Context of Horn Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2023)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
di: Deng, Haotian, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

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

Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
di: Hassnain, Muhammad, et al.
Pubblicazione: (2025)

Relevant HAL Interface Requirements for Embedded Systems
di: Bentele, Manuel, et al.
Pubblicazione: (2025)

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

Approximate Optimal Active Learning of Decision Trees
di: Huang, Zunchen, et al.
Pubblicazione: (2025)

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

Autonomous Task Completion Based on Goal-directed Answer Set Programming
di: Tudor, Alexis R.
Pubblicazione: (2025)

Preguss: It Analyzes, It Specifies, It Verifies
di: Wang, Zhongyi, et al.
Pubblicazione: (2025)

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

Theta as a Horn Solver
di: Bajczi, Levente, et al.
Pubblicazione: (2025)

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

Early Validation of High-level Requirements on Cyber-Physical Systems
di: Vašíček, Ondřej
Pubblicazione: (2025)

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

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

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

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
di: Cristiá, Maximiliano, et al.
Pubblicazione: (2021)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
di: Brancas, Ricardo, et al.
Pubblicazione: (2024)

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

Circular Induction
di: Lucanu, Dorel, et al.
Pubblicazione: (2026)

Inferring Message Flows From System Communication Traces
di: Nadimi, Bardia, et al.
Pubblicazione: (2024)

Equational Anti-Unification over Absorption Theories
di: Ayala-Rincon, Mauricio, et al.
Pubblicazione: (2023)

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