A case study on design for provability

Abstract

We describe a case study which demonstrates that, bar designing with formal verification in mind, a designer can simplify the verification task enormously without sacrificing other design considerations. In addition, the formal specification and verification process can highlight anomalies in a design, and suggest design changes that improve it. The design… (More)
DOI: 10.1109/ICECCS.1995.479304

Topics

1 Figure or Table

Slides referencing similar topics