Verification by way of refinement: a case study in the use of Coq and TLA in the design of a safety critical system.
Conference
·
OSTI ID:1368799
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:
- 1368799
- Report Number(s):
- SAND2016-4937C; 640723
- Resource Relation:
- Conference: Proposed for presentation at the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems held September 26-29, 2016 in Pisa, Italy.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Verification by way of refinement: a case study in the use of Coq and TLA in the design of a safety critical system.
Complete Formal Verification of Stateful Designs for High Consequence Systems: A Case Study.
The Critical Spares Project - A case study in identifying essential system equipment and cyber security first steps for a small utility.
Conference
·
Sun May 01 00:00:00 EDT 2016
·
OSTI ID:1368799
Complete Formal Verification of Stateful Designs for High Consequence Systems: A Case Study.
Conference
·
Thu Sep 01 00:00:00 EDT 2011
·
OSTI ID:1368799
The Critical Spares Project - A case study in identifying essential system equipment and cyber security first steps for a small utility.
Conference
·
Sun May 01 00:00:00 EDT 2011
·
OSTI ID:1368799
+5 more