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

(11)

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

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)