Splitting via Interpolants

DOI10.1007/978-3-642-27940-9_13MaRDI QIDQ2891411zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Splitting proofs for interpolation
• scientific article; zbMATH DE number 6313104
• scientific article; zbMATH DE number 3921899
• Splitting methods with complex coefficients
• scientific article; zbMATH DE number 3967804
• Separation by linear interpolation families
• scientific article; zbMATH DE number 1126862
• scientific article; zbMATH DE number 2015494
• Interpolation by Multivariate Splines
• Splitting methods

Cites work

• Combining Abstraction Refinement and SAT-Based Model Checking
• Interpolation and SAT-based model checking.
• Lazy Abstraction with Interpolants
• Rewriting-based quantifier-free interpolation for a theory of arrays
• Slicing Abstractions
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation

Cited in

(7)

• A unifying view on SMT-based software verification
• Efficient strategies for CEGAR-based model checking
• Interpolation by division
• A configurable CEGAR framework with interpolation-based refinements
• scientific article; zbMATH DE number 1523803 (Why is no real title available?)
• Splitting intervals
• Find, use, and conserve tools for formal methods

Describes a project that uses

Uses Software

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

This page was built for publication: Splitting via Interpolants

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