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.
|
Search Result 1
Verification by way of refinement a case study in the use of Coq and TLA in the design of a safety critical system.
Published 2016
Online Access (via OSTI)
Government Document
Electronic
eBook