NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
A Note on Inconsistent Axioms in Rushby's Systematic Formal Verification for Fault-Tolerant Time-Triggered AlgorithmsI describe some inconsistencies in John Rushby s axiomatization of time-triggered algorithms that he presents in these transactions and that he formally specifies and verifies in a mechanical theorem-prover. I also present corrections for these inconsistencies.
Document ID
20080021266
Acquisition Source
Langley Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Pike, Lee (NASA Langley Research Center Hampton, VA, United States)
Date Acquired
August 24, 2013
Publication Date
May 1, 2005
Subject Category
Mathematical And Computer Sciences (General)
Funding Number(s)
OTHER: 23-063-30-RF
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available