Automated reasoning technologies will enable a correct-by-construction approach to systems engineering
- Sandia National Laboratories (SNL-CA), Livermore, CA (United States)
- 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:
- 2430841
- Report Number(s):
- SAND2023-05373C
- Country of Publication:
- United States
- Language:
- English
Similar Records
Automated reasoning system
Q Framework: Enables Automated Reasoning & Increases Digital Assurance of Embedded Controller Software
Automated reasoning in man/machine control systems
Conference
·
Wed Dec 31 23:00:00 EST 1980
·
OSTI ID:6336057
Q Framework: Enables Automated Reasoning & Increases Digital Assurance of Embedded Controller Software
Conference
·
Mon Apr 01 00:00:00 EDT 2024
·
OSTI ID:2585099
Automated reasoning in man/machine control systems
Conference
·
Sat Oct 01 00:00:00 EDT 1983
· Trans. Am. Nucl. Soc.; (United States)
·
OSTI ID:5048406