Loading...
Please wait, while we are loading the content...
Similar Documents
Tla+: whence, wherefore, and whither
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Lamport, Leslie |
| Copyright Year | 2009 |
| Description | The evolution of my ideas on specification and verification, and how they led to the TLA+ specification language. What is good and bad about TLA+. A brief description of the next version of TLA+ and its tools. E. |
| File Size | 57644 |
| Page Count | 1 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20100024462 |
| Archival Resource Key | ark:/13960/t9382bk5w |
| Language | English |
| Publisher Date | 2009-04-01 |
| Access Restriction | Open |
| Subject Keyword | Mathematical And Computer Sciences (general) Evolution Specifications Computer Programs Proving Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |