Accelerating interpolants

DOI10.1007/978-3-642-33386-6_16MaRDI QIDQ4649296zbMATH OpenOpenAlexFDO

Authors Hossein Hojjat, Radu Iosif, Filip Konečný, Viktor Kuncak, Philipp Rümmer

Publication date 21 November 2012

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33386-6_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Accelerating Interpolation-Based Model-Checking
• Tools and Algorithms for the Construction and Analysis of Systems
• Abstract Counterexamples for Non-disjunctive Abstractions
• Computer Science Logic
• Partial predicate abstraction and counter-example guided refinement

Cited in

(12)

• Backward symbolic execution with loop folding
• Horn clause solvers for program verification
• Interprocedural reachability for flat integer programs
• Guiding Craig interpolation with domain-specific abstractions
• A calculus for modular loop acceleration
• Proving safety with trace automata and bounded model checking
• Accelerating Interpolation-Based Model-Checking
• The \textsc{Golem} Horn solver
• \textsc{Golem}: a flexible and efficient solver for constrained Horn clauses
• On recursion-free Horn clauses and Craig interpolation
• Under-approximating loops in C programs for fast counterexample detection
• Algebraic program analysis

This page was built for publication: Accelerating interpolants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649296)