Exploiting target enlargement and dynamic abstraction within mixed BDD and SAT invariant checking

MaRDI QIDQ2849593zbMATH OpenFDO

Authors Gabriel P. Bischoff, Karl S. Brace, G. Cabodi, S. Nocco, S. Quer

Publication date 20 September 2013

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

Mathematics Subject Classification ID

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

Recommendations

• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 1629965
• scientific article; zbMATH DE number 1903372
• scientific article; zbMATH DE number 1980926
• Hybrid BDD and All-SAT Method for Model Checking

Cited in

(3)

• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 1903372 (Why is no real title available?)
• scientific article; zbMATH DE number 1629964 (Why is no real title available?)

This page was built for publication: Exploiting target enlargement and dynamic abstraction within mixed BDD and SAT invariant checking

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