Verification of the FtCayuga fault-tolerant microprocessor system
- Image
- View Full Item
- Created Date
- 1991
- Description
Prepared at ORA Corporation for Langley Research Center under Contract NAS1-18972.
Bibliography: v. 1, p. 46.
v. 1. A case study in theorem prover-based verification -- v. 2. Formal specification and correctness theorems.
- Creator
Srivas, Mandayam
- Partner
- HathiTrust
- Contributing Institution
- University of Illinois
- Publisher
- Washington, D.C. : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; Springfield, Va. : For sale by the National Technical Information Service
- Subjects
- Flight control
Computers--Circuits--Design and construction
Computers--Circuits--Reliability
Fault-tolerant computing - Type
- text
- Format
- Language materialElectronic resource
- Language
- English
- Rights
- Public domain. Learn more at http://www.hathitrust.org/access_use
- Chicago citation style
- Srivas, Mandayam. Verification of the FtCayuga fault-tolerant microprocessor system. 1991. Retrieved from the Digital Public Library of America, http://catalog.hathitrust.org/Record/011431870. (Accessed March 28, 2024.)
- APA citation style
- Srivas, Mandayam, (1991) Verification of the FtCayuga fault-tolerant microprocessor system. Retrieved from the Digital Public Library of America, http://catalog.hathitrust.org/Record/011431870
- MLA citation style
- Srivas, Mandayam. Retrieved from the Digital Public Library of America <http://catalog.hathitrust.org/Record/011431870>.