Survey of Existing Tools for Formal Verification
Download or Read eBook Survey of Existing Tools for Formal Verification PDF written by and published by . This book was released on 2014 with total page 42 pages. Available in PDF, EPUB and Kindle.
Author | : |
Publisher | : |
Total Pages | : 42 |
Release | : 2014 |
ISBN-10 | : OCLC:960786534 |
ISBN-13 | : |
Rating | : 4/5 (34 Downloads) |
Book Synopsis Survey of Existing Tools for Formal Verification by :
Book excerpt: Formal methods have come into wide use because of their effectiveness in verifying "safety and security" requirements of digital systems; a set of requirements for which testing is mostly ineffective. Formal methods are routinely used in the design and verification of high-consequence digital systems in industry. This report outlines our work in assessing the capabilities of commercial and open source formal tools and the ways in which they can be leveraged in digital design workflows.