Accelerating interpolants

DOI10.1007/978-3-642-33386-6_16zbMATH Open1374.68291OpenAlexW2911612809MaRDI QIDQ4649296FDOQ4649296

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

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

Mathematics Subject Classification ID

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

Cited In (11)

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

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)