Termination criteria for bounded model checking: extensions and comparison

MaRDI QIDQ2848677zbMATH OpenFDO

Authors Mohammad Awedh, Fabio Somenzi

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105052436

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1956571
• Convergence testing in term-level bounded model checking
• On the magnitude of completeness thresholds in bounded model checking
• Verification, Model Checking, and Abstract Interpretation
• Bounded model checking and induction: From refutation to verification (extended abstract, Category A)
• Bounded model checking using satisfiability solving

Cited in

(6)

• SAT-Based Model Checking
• Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005
• Bounded semantics
• Computer Aided Verification
• Automated Technology for Verification and Analysis
• Property-directed incremental invariant generation

This page was built for publication: Termination criteria for bounded model checking: extensions and comparison

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