Verification by way of refinement [electronic resource] : a case study in the use of Coq and TLA in the design of a safety critical system.

Saved in:
Bibliographic Details
Online Access: Online Access (via OSTI)
Corporate Author: Sandia National Laboratories (Researcher)
Format: Government Document Electronic eBook
Language:English
Published: Washington, D.C. : Oak Ridge, Tenn. : United States. National Nuclear Security Administration ; distributed by the Office of Scientific and Technical Information, U.S. Department of Energy, 2016.

MARC

LEADER 00000nam a22000003u 4500
001 b9168478
003 CoU
005 20170726014913.4
006 m o d f
007 cr |||||||||||
008 170804e20160501||| o| f1|||||eng|d
035 |a (TOE)ost1368799 
035 |a (TOE)1368799 
040 |a TOE  |c TOE 
049 |a GDWR 
086 0 |a E 1.99:sand2016-4937c 
086 0 |a E 1.99:sand2016-4937c 
088 |a sand2016-4937c 
245 0 0 |a Verification by way of refinement  |h [electronic resource] :  |b a case study in the use of Coq and TLA in the design of a safety critical system. 
260 |a Washington, D.C. :  |b United States. National Nuclear Security Administration ;  |a Oak Ridge, Tenn. :  |b distributed by the Office of Scientific and Technical Information, U.S. Department of Energy,  |c 2016. 
300 |a 73 p. :  |b digital, PDF file. 
336 |a text  |b txt  |2 rdacontent. 
337 |a computer  |b c  |2 rdamedia. 
338 |a online resource  |b cr  |2 rdacarrier. 
500 |a Published through SciTech Connect. 
500 |a 05/01/2016. 
500 |a "sand2016-4937c" 
500 |a "640723" 
500 |a 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. 
500 |a Hulette, Geoffrey Compton; Philip Johnson-Freyd; Zena Ariola. 
520 3 |a Abstract not provided. 
536 |b AC04-94AL85000. 
710 2 |a Sandia National Laboratories.  |4 res. 
710 1 |a United States.  |b National Nuclear Security Administration.  |4 spn. 
710 1 |a United States.  |b Department of Energy.  |b Office of Scientific and Technical Information.  |4 dst. 
856 4 0 |u http://www.osti.gov/scitech/biblio/1368799  |z Online Access (via OSTI) 
907 |a .b9168478x  |b 03-09-23  |c 08-04-17 
998 |a web  |b 08-04-17  |c f  |d m   |e p  |f eng  |g    |h 0  |i 1 
956 |a Information bridge 
999 f f |i 138b2c04-b582-53aa-871f-74dacea5e7bd  |s 2cdc7293-bbf4-550b-9bd1-e6ff97cfb865 
952 f f |p Can circulate  |a University of Colorado Boulder  |b Online  |c Online  |d Online  |e E 1.99:sand2016-4937c  |h Superintendent of Documents classification  |i web  |n 1