Loading...
Please wait, while we are loading the content...
Similar Documents
Putting time into proof outlines (Document No: 19930015963)
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Marzullo, Keith Bloom, Bard Schneider, Fred B. |
| Copyright Year | 1993 |
| Description | A logic for reasoning about timing properties of concurrent programs is presented. The logic is based on Hoare-style proof outlines and can handle maximal parallelism as well as certain resource-constrained execution environments. The correctness proof for a mutual exclusion protocol that uses execution timings in a subtle way illustrates the logic in action. A soundness proof using structural operational semantics is outlined in the appendix. |
| File Size | 1624296 |
| Page Count | 34 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19930015963 |
| Archival Resource Key | ark:/13960/t73v4h08v |
| Language | English |
| Publisher Date | 1993-03-10 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Computer Programming Time Dependence Logic Programming Proving Safety Software Reliability Program Verification Computers Real Time Operation Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
