Effectively propositional interpolants

DOI10.1007/978-3-319-41540-6_12zbMATH Open1411.68063OpenAlexW2476153809MaRDI QIDQ4633554FDOQ4633554

Authors: Samuel Drews, Aws Albarghouthi 

Publication date: 3 May 2019

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41540-6_12

Recommendations

• Propositional Interpolation and Abstract Interpretation
• Constraint solving for interpolation
• Constraint Solving for Interpolation
• Computer Science Logic
• Interpolants and Symbolic Model Checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Subsystems of classical logic (including intuitionistic logic) (03B20) Interpolation, preservation, definability (03C40)

Cited In (2)

• Syntax-guided synthesis for lemma generation in hardware model checking
• Propositional Interpolation and Abstract Interpretation

This page was built for publication: Effectively propositional interpolants

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