Digital System Robustness via Design Constraints: The Lesson of Formal Methods.
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:
- 1242123
- Report Number(s):
- SAND2014-19374C; 540936
- Resource Relation:
- Conference: Proposed for presentation at the IEEE International Systems Conference held April 13-16, 2015 in Vancouver, BC, Canada.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Digital System Robustness via Design Constraints: The Lesson of Formal Methods.
Moving Toward Integrating Formal Methods in NW Digital Design.
Leveraging Formal Methods and Confronting Complexity for Digital System Reliability and Security.
Conference
·
Wed Apr 01 00:00:00 EDT 2015
·
OSTI ID:1242123
Moving Toward Integrating Formal Methods in NW Digital Design.
Conference
·
Sat Jun 01 00:00:00 EDT 2013
·
OSTI ID:1242123
Leveraging Formal Methods and Confronting Complexity for Digital System Reliability and Security.
Conference
·
Wed Jun 01 00:00:00 EDT 2011
·
OSTI ID:1242123