Verification of the FtCayuga fault-tolerant microprocessor system.  Volume I: A case study in theorem prover-based verification
By: prepared for Langley Research Cter.
Contributors: Bickford, Mark.; Langley Research Center
Publisher: Langley Research Center
Published: 1991
Place of publication: Hampton, Va
Number of pages: 55
Subjects: Fault tolerance; Microprocessors; Proving
Notes: Includes bibliographical references: p. 46.