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

DOI:https://doi.org/10.1007/978-3-319-45943-1_14· OSTI ID:1367058

Johnson-Freyd, Philip; Hulette, Geoffrey Compton; Ariola, Zena M

Abstract not provided.

• Research Organization: Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
• Sponsoring Organization: USDOE National Nuclear Security Administration (NNSA)
• DOE Contract Number: AC04-94AL85000
• OSTI ID: 1367058
• Report Number(s): SAND2016-4322C; 639558
• Country of Publication: United States
• Language: English