Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5703754
DOI10.1007/b107194zbMath1087.68597MaRDI QIDQ5703754
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107194
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Sharper and Simpler Nonlinear Interpolants for Program Verification, Rewriting Interpolants, An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures, Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle, Craig interpolation for networks of sentences, A decidability result for the model checking of infinite-state systems, Cuts from proofs: a complete and practical technique for solving linear inequalities over integers, Competent predicate abstraction in model checking, Property-directed incremental invariant generation, Generalised graded interpolation, Efficient strategies for CEGAR-based model checking, Modularity results for interpolation, amalgamation and superamalgamation, Craig interpolation with clausal first-order tableaux, On Interpolation and Symbol Elimination in Theory Extensions, A Configurable CEGAR Framework with Interpolation-Based Refinements, Automated formal analysis and verification: an overview, Splitting via Interpolants, Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems, Craig Interpolation in Displayable Logics, Satisfiability Modulo Theories, Interpolants for Linear Arithmetic in SMT, Efficient Combination of Decision Procedures for MUS Computation
Uses Software