A Survey of Formal Verification in Mission-critical High-consequence Applications.
Conference
·
OSTI ID:1109051
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-CA), Livermore, CA (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1109051
- Report Number(s):
- SAND2011-1595C; 471035
- Resource Relation:
- Conference: Proposed for presentation at the ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign held July 11-13, 2011 in Cambridge, UK.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Complete Formal Verification of Stateful Designs for High Consequence Systems: A Case Study.
Formal Verification of High-Consequence Digital Controls.
The Q Compiler for Verification of High-Consequence Systems.
Conference
·
Thu Sep 01 00:00:00 EDT 2011
·
OSTI ID:1109051
Formal Verification of High-Consequence Digital Controls.
Conference
·
Sun May 01 00:00:00 EDT 2016
·
OSTI ID:1109051
+1 more
The Q Compiler for Verification of High-Consequence Systems.
Conference
·
Tue Jan 01 00:00:00 EST 2019
·
OSTI ID:1109051