Add to ORKGPrepared 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.Mode of access: Internet
17 USC 105 interim-entered record; under review.Computer hosts a virtual roundtable with seven exp...
Abstract. This paper presents status results of a microprocessor verification project. The authors v...
. We describe a microprocessor model and its use for reasoning about real-time applications. The mod...
Presented here is a formal specification and verification of a property of a quadruplicately redunda...
The design and formal verification of a hardware system for a task that is an important component of...
"Prepared for Langley Research Center under Contract NAS1-17067."Research done at SRI International....
PVS is the most recent in a series of verification systems developed at SRI. Its design was strongly...
Prepared at SRI International for Langley Research Center under Contract NAS1-18969.Bibliography: p....
Prepared at Boeing Military Airplanes for Langley Research Center under Contract NAS1-18586.Bibliogr...
"Prepared for Langley Research Center under Grant NAG1-190."Research done at Carnegie-Mellon Univers...
Abstract: Various logics are applied to specification and verification of both hardware and software...
A number of methodologies for verifying systems and computer based tools that assist users in verify...
The paper presents the application of formal verification techniques to a real microprocessor. The d...
Research done at Langley Research Center.Bibliography: p. 28.Mode of access: Internet
The society is becoming increasingly dependent on applications of distributed software systems, such...
17 USC 105 interim-entered record; under review.Computer hosts a virtual roundtable with seven exp...
Abstract. This paper presents status results of a microprocessor verification project. The authors v...
. We describe a microprocessor model and its use for reasoning about real-time applications. The mod...
Presented here is a formal specification and verification of a property of a quadruplicately redunda...
The design and formal verification of a hardware system for a task that is an important component of...
"Prepared for Langley Research Center under Contract NAS1-17067."Research done at SRI International....
PVS is the most recent in a series of verification systems developed at SRI. Its design was strongly...
Prepared at SRI International for Langley Research Center under Contract NAS1-18969.Bibliography: p....
Prepared at Boeing Military Airplanes for Langley Research Center under Contract NAS1-18586.Bibliogr...
"Prepared for Langley Research Center under Grant NAG1-190."Research done at Carnegie-Mellon Univers...
Abstract: Various logics are applied to specification and verification of both hardware and software...
A number of methodologies for verifying systems and computer based tools that assist users in verify...
The paper presents the application of formal verification techniques to a real microprocessor. The d...
Research done at Langley Research Center.Bibliography: p. 28.Mode of access: Internet
The society is becoming increasingly dependent on applications of distributed software systems, such...
17 USC 105 interim-entered record; under review.Computer hosts a virtual roundtable with seven exp...
Abstract. This paper presents status results of a microprocessor verification project. The authors v...
. We describe a microprocessor model and its use for reasoning about real-time applications. The mod...