Survey of Existing Tools for Formal Verification
Author | : |
Publisher | : |
Total Pages | : 42 |
Release | : 2014 |
ISBN-10 | : OCLC:960786534 |
ISBN-13 | : |
Rating | : 4/5 (34 Downloads) |
Download or read book Survey of Existing Tools for Formal Verification written by and published by . This book was released on 2014 with total page 42 pages. Available in PDF, EPUB and Kindle. 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.