Supporting SAT based BMC on finite path models

zbMATH Open1272.68247MaRDI QIDQ2848682FDOQ2848682

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

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

Mathematics Subject Classification ID

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

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)