Loading...
Please wait, while we are loading the content...
Similar Documents
Synthesizing dynamic programming algorithms from linear temporal logic formulae
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Havelund Sr., Klaus Rosu, Grigore |
| Copyright Year | 2001 |
| Description | The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. We present an algorithm which takes an LTL formula and generates an efficient dynamic programming algorithm. The generated algorithm tests whether the LTL formula is satisfied by a finite trace of events given as input. The generated algorithm runs in linear time, its constant depending on the size of the LTL formula. The memory needed is constant, also depending on the size of the formula. |
| File Size | 513121 |
| Page Count | 11 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20010106096 |
| Archival Resource Key | ark:/13960/t18m28451 |
| Language | English |
| Publisher Date | 2001-01-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Algorithms Dynamic Programming Run Time Computers Temporal Logic 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 |
