Splitting via Interpolants

DOI10.1007/978-3-642-27940-9_13zbMath1326.68091OpenAlexW1923543252MaRDI QIDQ2891411

Evren Ermis, Jochen Hoenicke, Andreas Podelski

Publication date: 15 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-27940-9_13

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

A unifying view on SMT-based software verification ⋮ Efficient strategies for CEGAR-based model checking ⋮ A Configurable CEGAR Framework with Interpolation-Based Refinements

Uses Software

• BLAST
• SLAM
• CPAchecker
• Boogie
• SLAB
• SatAbs
• Wolverine

Cites Work

• Slicing Abstractions
• Rewriting-based Quantifier-free Interpolation for a Theory of Arrays.
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Lazy Abstraction with Interpolants
• Combining Abstraction Refinement and SAT-Based Model Checking
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification

This page was built for publication: Splitting via Interpolants