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:
| Online Access: |
Online Access (via OSTI) |
|---|---|
| Corporate Author: | |
| 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.
|
Internet
Online Access (via OSTI)Online
| Call Number: |
E 1.99:sand2016-4937c
|
|---|---|
| E 1.99:sand2016-4937c | Available |