Formal Methods in Computer-Aided Design

DOI10.1007/B102264MaRDI QIDQ5492983zbMATH OpenOpenAlexFDO

Authors Mohammad Awedh, Fabio Somenzi

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b102264

Mathematics Subject Classification ID

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

Recommendations

• Accelerating bounded model checking of safety properties
• scientific article; zbMATH DE number 1629965
• scientific article; zbMATH DE number 2087634
• Theory and Applications of Models of Computation
• Bounded model checking using satisfiability solving

Cited in

(5)

• Not all bugs are created equal, but robust reachability can tell the difference
• scientific article; zbMATH DE number 1629965 (Why is no real title available?)
• Improved SAT-based reachability analysis with observability don't cares
• Correct Hardware Design and Verification Methods
• Exploiting target enlargement and dynamic abstraction within mixed BDD and SAT invariant checking

Describes a project that uses

Uses Software

• SATIRE

This page was built for publication: Formal Methods in Computer-Aided Design

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