Ensuring completeness of formal verification with Gap Free Verification.
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-CA), Livermore, CA (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- NA0003525
- OSTI ID:
- 1825972
- Report Number(s):
- SAND2020-10997C; 691392
- Country of Publication:
- United States
- Language:
- English
Similar Records
Ensuring completeness of formal verification with Gap Free Verification.
Formalization and Expansion of the CTF Code Verification Matrix.
Formal verification of run-to-completion style statecharts using Event-B.
Conference
·
Sat May 01 00:00:00 EDT 2021
·
OSTI ID:1869536
Formalization and Expansion of the CTF Code Verification Matrix.
Conference
·
Tue Jun 01 00:00:00 EDT 2021
·
OSTI ID:1871626
Formal verification of run-to-completion style statecharts using Event-B.
Conference
·
Wed Jul 01 00:00:00 EDT 2020
·
OSTI ID:1811615