Craig interpolation and reachability analysis

DOI10.1007/3-540-44898-5_18MaRDI QIDQ4813406zbMATH OpenFDO

Authors K. L. McMillan

Publication date 13 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2694/26940336.htm

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Applications of Craig interpolation to model checking
• Applications of Craig interpolants in model checking
• Applications of Craig interpolation to model checking
• Propositional Interpolation and Abstract Interpretation
• Craig interpolation in the presence of non-linear constraints

Cited in

(7)

• Guiding Craig interpolation with domain-specific abstractions
• Craig interpolation in the presence of non-linear constraints
• Model checking data flows in concurrent network updates
• scientific article; zbMATH DE number 1543346 (Why is no real title available?)
• Applications of Craig interpolation to model checking
• Applications of Craig interpolants in model checking
• Applications of Craig interpolation to model checking

This page was built for publication: Craig interpolation and reachability analysis

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