|
|
home >
publications >
ORApublications >
ORA
Odyssey Research Associates Publications
-
Naydich, Dimitri and Nowakowski, John:
Flight Guidance System Validation using SPIN
.
NASA Contractor Report NASA/CR-1998-208434, June 1998.
-
Fung, Francis, and Jamsek, Damir:
Formal Specification of a Flight Guidance System
.
NASA Contractor Report CR-1998-206915, January 1998
-
Hoover, D. N.
A Mathematical Model for Railway Control Systems.way Control Systems.
NASA Contractor Report 198353, June 1996.
-
Hoover, D. N; Guaspari, and Humenn, Polar:
Applications of Formal Methods to Specification and Safety of
Avionics Software.
NASA Contractor Report 4723, April 1996.
-
Guaspari, David; McHugh, John; Polak, Wolfgang; and Saaltink, Mark:
Towards a Formal Semantics for Ada 9X.
NASA Contractor Report 195037, March 1995.
-
Hoover, D. N.; and Chen, Zewei:
TBell: A Mathematical Tool for Analyzing Decision Tables.
NASA Contractor Report 195027, November 1994.
-
Weber Doug; and Jamsek, Damir:
Using Formal Specification in the Guidance and Control Software (GCS)
Experiment.
NASA Contractor Report 194884, April 1994.
-
Bickford, Mark:
A Formal Semantics for a Subset of VHDL and its Use in
Analysis of the FTPP Scoreboard Circuit.
NASA Contractor Report 191577, April 1994.
-
Eichenlaub, Carl T.; Harper, C. Douglas; and Hird, Geoffrey:
Using Penelope to Assess the Correctness of NASA Ada Software: A
Demonstration of Formal Methods as a Counterpart to Testing.
NASA Contractor Report 4509, May 1993.
tor Report 4509, May 1993.
-
Srivas, Mandayam; and Bickford, Mark:
Verification of a Fault-Tolerant Property of a Multiprocessor System.
In Theorem Provers in Circuit Design: Theory, Practice and
Experience, Nijmegen, The Netherlands, June 1992.
-
Srivas, Mandayam; and Bickford, Mark:
Moving Formal Methods Into Practice: Verifying the FTPP
Scoreboard: Phase 1 Results.
NASA Contractor Report 189607, May 1992.
-
Srivas, Mandayam; and Bickford, Mark:
Verification of the FtCayuga Fault-Tolerant Microprocessor
System (Volume 1: A Case Study in Theorem Prover-Based Verification).
NASA Contractor Report 4381, July 1991.
-
Bickford, Mark; and Srivas, Mandayam:
Verification of the FtCayuga Fault-Tolerant Microprocessor
System (Volume 2: Formal Specification and Correctness Theorems).
NASA Contractor Report 187574, July 1991.
-
Hird, Geoffrey:
Formal Specification And Verification Of Ada Software.
In AIAA Computing in Aerospace 8 Conference, Baltimore, MD.,
Oct. 1991.
-
Guaspari, David:
Formally Specifying the Logic of an Automatic Guidance Controller.
In Ada-Europe Conference, Athens, GreAda-Europe Conference, Athens, Greece, May 1991.
|