Copertina

Craig Interpolation in Program Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Rümmer, Philipp
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Program Instrumentation Framework for Automatic Verification
di: Amilon, Jesper, et al.
Pubblicazione: (2024)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Craig Interpolation for Decidable First-Order Fragments
di: Cate, Balder ten, et al.
Pubblicazione: (2023)

Quantifier Elimination and Craig Interpolation, Quantitatively
di: Batz, Kevin, et al.
Pubblicazione: (2025)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
di: Heuer, Jan, et al.
Pubblicazione: (2024)

Synthesis and Verification of Transformer Programs (Technical Report)
di: Jiang, Hongjian, et al.
Pubblicazione: (2026)

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
di: Wernhard, Christoph
Pubblicazione: (2026)

Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
di: Wu, Hao, et al.
Pubblicazione: (2024)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
di: Bertrand, Meven Lennon, et al.
Pubblicazione: (2026)

Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
di: Guelev, Dimitar P.
Pubblicazione: (2025)

An Encoding for CLP Problems in SMT-LIB
di: Amrollahi, Daneshvar, et al.
Pubblicazione: (2024)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
di: Borzechowski, Manfred, et al.
Pubblicazione: (2025)

The Power of Regular Constraint Propagation (Technical Report)
di: Hague, Matthew, et al.
Pubblicazione: (2025)

On the Completeness of Interpolation Algorithms
di: Hetzl, Stefan, et al.
Pubblicazione: (2024)

Interpolation for the two-way modal mu-calculus
di: Kloibhofer, Johannes, et al.
Pubblicazione: (2025)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
di: Férée, Hugo, et al.
Pubblicazione: (2026)

OSTRICH2: Solver for Complex String Constraints
di: Hague, Matthew, et al.
Pubblicazione: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Practical Deductive Verification of OCaml Programs (Extended Version)
di: Pereira, Mário
Pubblicazione: (2024)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
di: Esen, Zafer, et al.
Pubblicazione: (2025)

VerifyThis 2019: A Program Verification Competition (Extended Report)
di: Dross, Claire, et al.
Pubblicazione: (2020)

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
di: Bortin, Maksym
Pubblicazione: (2020)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
di: Baldan, Paolo, et al.
Pubblicazione: (2025)

Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem (Extended Version)
di: Soares, Tiago Lopes, et al.
Pubblicazione: (2024)

Interpolation in Proof Theory
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)

Definability and Interpolation in Philosophy
di: van Benthem, Johan
Pubblicazione: (2026)

Interpolation and Quantifiers in Ortholattices
di: Guilloud, Simon, et al.
Pubblicazione: (2025)

Interpolation for Converse PDL
di: Kloibhofer, Johannes, et al.
Pubblicazione: (2025)

Revisiting Differential Verification: Equivalence Verification with Confidence
di: Teuber, Samuel, et al.
Pubblicazione: (2024)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
di: Şakar, Ömer, et al.
Pubblicazione: (2026)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
di: Watanabe, Kazuki, et al.
Pubblicazione: (2025)

Verification of E-Voting Algorithms in Dafny
di: Büttner, Robert, et al.
Pubblicazione: (2025)

Interpolation in First-Order Logic
di: Cate, Balder ten, et al.
Pubblicazione: (2025)

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
di: Cristiá, Maximiliano, et al.
Pubblicazione: (2025)

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
di: Kura, Satoshi, et al.
Pubblicazione: (2024)

Interpolation with Automated First-Order Reasoning
di: Wernhard, Christoph
Pubblicazione: (2025)

FO-Complete Program Verification for Heap Logics
di: Murali, Adithya, et al.
Pubblicazione: (2026)

Structural Temporal Logic for Mechanized Program Verification
di: Ioannidis, Eleftherios, et al.
Pubblicazione: (2024)

Uniform Interpolation in Distributed Knowledge Modal Logics
di: Wang, Kexu, et al.
Pubblicazione: (2026)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
di: Sofronie-Stokkermans, Viorica
Pubblicazione: (2025)