Effectively propositional interpolants

DOI10.1007/978-3-319-41540-6_12MaRDI QIDQ4633554zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(3)

• Syntax-guided synthesis for lemma generation in hardware model checking
• Spatial interpolants
• 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)