Loading...
Please wait, while we are loading the content...
Similar Documents
Eagle can do efficient ltl monitoring
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Goldberg, Allen Havelund Sr., Klaus Sen, Koushik Barringer, Howard |
| Copyright Year | 2003 |
| Description | We briefly present a rule-based framework, called EAGLE, that has been shown to be capable of defining and implementing finite trace monitoring logics, including future and past time temporal logic, extended regular expressions, real-time logics, interval logics, forms of quantified temporal logics, and so on. In this paper we show how EAGLE can do linear temporal logic (LTL) monitoring in an efficient way. We give an upper bound on the space and time complexity of this monitoring. |
| File Size | 1004710 |
| Page Count | 15 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20040012598 |
| Archival Resource Key | ark:/13960/t3tt9k849 |
| Language | English |
| Publisher Date | 2003-01-01 |
| Access Restriction | Open |
| Subject Keyword | Linear Systems Algorithms Semantics Computer Systems Programs Syntax Run Time Computers Temporal Logic 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 |
