Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5899073
Recommendations
- Predicate abstraction for program verification
- Relaxed stratification: a new approach to practical complete predicate refinement
- Tools and Algorithms for the Construction and Analysis of Systems
- Predicate abstraction for software verification
- Predicate Abstraction in Program Verification: Survey and Current Trends
Cited in
(32)- Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations
- Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
- Verification and falsification of programs with loops using predicate abstraction
- From invariant checking to invariant inference using randomized search
- Beyond quantifier-free interpolation in extensions of Presburger arithmetic
- Interpolation and symbol elimination in Vampire
- Accelerating Interpolation-Based Model-Checking
- Constraint-based relational verification
- Latticed \(k\)-induction with an application to probabilistic programs
- Abstract Counterexamples for Non-disjunctive Abstractions
- What Tipper is Ready for: A Semantics for Incomplete Predicates
- Tools and Algorithms for the Construction and Analysis of Systems
- Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise
- Quantifier-free interpolation in combinations of equality interpolating theories
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs
- Verification of SpecC using predicate abstraction
- Interpolation and model checking
- Under-approximating loops in C programs for fast counterexample detection
- Combining Predicate Abstraction with Fixpoint Approximations
- Efficient Interpolant Generation in Satisfiability Modulo Theories
- Refinement of Trace Abstraction
- Sharper and Simpler Nonlinear Interpolants for Program Verification
- Constraint solving for interpolation
- Counterexample guided path reduction for static program analysis
- SMT proof checking using a logical framework
- An extension of lazy abstraction with interpolation for programs with arrays
- Interpolant Generation for UTVPI
- Partial predicate abstraction and counter-example guided refinement
- Relaxed stratification: a new approach to practical complete predicate refinement
- Interpolation and Symbol Elimination
- Automatically Refining Abstract Interpretations
- Guiding Craig interpolation with domain-specific abstractions
This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899073)
