Formal Verification of High-Consequence Digital Controls.
Conference
·
OSTI ID:1806530
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States); Sandia National Laboratories, Livermore, CA
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1806530
- Report Number(s):
- SAND2016-4993C; 664794
- Country of Publication:
- United States
- Language:
- English
Similar Records
Formal Verification of Digital ASICs.
A Survey of Formal Verification in Mission-critical High-consequence Applications.
Complete Formal Verification of Stateful Designs for High Consequence Systems: A Case Study.
Conference
·
Mon Feb 29 23:00:00 EST 2016
·
OSTI ID:1346887
A Survey of Formal Verification in Mission-critical High-consequence Applications.
Conference
·
Mon Feb 28 23:00:00 EST 2011
·
OSTI ID:1109051
Complete Formal Verification of Stateful Designs for High Consequence Systems: A Case Study.
Conference
·
Thu Sep 01 00:00:00 EDT 2011
·
OSTI ID:1106671