Loading...
Please wait, while we are loading the content...
Similar Documents
A note on inconsistent axioms in rushby's systematic formal verification for fault-tolerant time-triggered algorithms
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Pike, Lee |
| Copyright Year | 2005 |
| Description | I 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. |
| File Size | 47410 |
| Page Count | 5 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20080021266 |
| Archival Resource Key | ark:/13960/t4wh7j78d |
| Language | English |
| Publisher Date | 2005-05-01 |
| Access Restriction | Open |
| Subject Keyword | Mathematical And Computer Sciences (general) Fault Tolerance Algorithms Axioms Correction Theorem Proving Program Verification Computers Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
