Pages that link to "Item:Q5703754"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703754):
Displaying 22 items.
- Craig interpolation for networks of sentences (Q435205) (← links)
- A decidability result for the model checking of infinite-state systems (Q438572) (← links)
- Cuts from proofs: a complete and practical technique for solving linear inequalities over integers (Q453505) (← links)
- Competent predicate abstraction in model checking (Q543199) (← links)
- Property-directed incremental invariant generation (Q939166) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Efficient strategies for CEGAR-based model checking (Q2209549) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- A Configurable CEGAR Framework with Interpolation-Based Refinements (Q2827465) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Splitting via Interpolants (Q2891411) (← links)
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (Q3000643) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Interpolants for Linear Arithmetic in SMT (Q3540071) (← links)
- Efficient Combination of Decision Procedures for MUS Computation (Q3655210) (← links)
- Sharper and Simpler Nonlinear Interpolants for Program Verification (Q5056007) (← links)
- Rewriting Interpolants (Q5415616) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)
- Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle (Q5505488) (← links)