Refinement and Verification of Responsive Control Systems.
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:
- AC04-94AL85000
- OSTI ID:
- 1772201
- Report Number(s):
- SAND2020-3374C; 684899
- Country of Publication:
- United States
- Language:
- English
Similar Records
Verification and Validation of Controlled Quantum Information Systems.
Verification by way of refinement: a case study in the use of Coq and TLA in the design of a safety critical system.
Verification by way of refinement: a case study in the use of Coq and TLA in the design of a safety critical system.
Conference
·
Thu Feb 28 23:00:00 EST 2013
·
OSTI ID:1072518
Verification by way of refinement: a case study in the use of Coq and TLA in the design of a safety critical system.
Conference
·
Sun May 01 00:00:00 EDT 2016
·
OSTI ID:1367058
Verification by way of refinement: a case study in the use of Coq and TLA in the design of a safety critical system.
Conference
·
Sun May 01 00:00:00 EDT 2016
·
OSTI ID:1368799