Supporting SAT based BMC on finite path models

MaRDI QIDQ2848682zbMATH OpenFDO

Authors Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref

Publication date 26 September 2013

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Theory and Applications of Models of Computation
• Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse
• A new translation from ECTL* to SAT*
• scientific article; zbMATH DE number 1670796
• SAT-Based Model Checking

This page was built for publication: Supporting SAT based BMC on finite path models

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