Survey of Existing Tools for Formal Verification
- Sandia National Laboratories (SNL-CA), Livermore, CA (United States)
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.
- Research Organization:
- Sandia National Laboratories (SNL-CA), Livermore, CA (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA); USDOE Laboratory Directed Research and Development (LDRD) Program
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1166644
- Report Number(s):
- SAND--2014-20533; 551829
- Country of Publication:
- United States
- Language:
- English
Similar Records
Formal verification and validation of run-to-completion style state charts using Event-B
Formal verification and validation of the safety-critical software in a digital reactor protection system
Demonstration of Model-Based Design for Digital Controller Using Formal Methods
Journal Article
·
Thu Mar 03 23:00:00 EST 2022
· Innovations in Systems and Software Engineering
·
OSTI ID:1883178
Formal verification and validation of the safety-critical software in a digital reactor protection system
Conference
·
Sat Jul 01 00:00:00 EDT 2006
·
OSTI ID:22030081
Demonstration of Model-Based Design for Digital Controller Using Formal Methods
Technical Report
·
Sun Dec 31 23:00:00 EST 2023
·
OSTI ID:2430067