- Restrictions on Access:
- Unclassified, Unlimited, Publicly available.
- We present a rule-based framework for 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. Our logic, EAGLE, is implemented as a Java library and involves novel techniques for rule definition, manipulation and execution. Monitoring is done on a state-by-state basis, without storing the execution trace.
- NASA Technical Reports Server (NTRS) Collection.
- Document ID: 20040012676.
Fifth International Conference on Verification, Model Checking and Abstract Interpretation; 11-13 Jan. 2004; Venice; Italy.
- Copyright, Distribution as joint owner in the copyright.
View MARC record | catkey: 15966013