Model checking and equivalence checking

MaRDI QIDQ3574320zbMATH OpenFDO

Authors Masahiro Fujita

Publication date 9 July 2010

zbMATH Keywords

Boolean reasoning techniquesformal verification techniques

Mathematics Subject Classification ID

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

Recommendations

• Equivalence checking using structural methods
• scientific article; zbMATH DE number 1191738
• Model checking: a hardware design perspective
• scientific article; zbMATH DE number 2113572
• scientific article; zbMATH DE number 2111140

Cited in

(4)

• Equivalence checking using structural methods
• scientific article; zbMATH DE number 1191738 (Why is no real title available?)
• Verification: Theory and Practice
• Correct Hardware Design and Verification Methods

This page was built for publication: Model checking and equivalence checking

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