Rule-Based Runtime Verification
- Author:
- Goldberg, Allen
- Published:
- [2003].
- Physical Description:
- 1 electronic document
- Additional Creators:
- Havelund, Klaus
Sen, Koushik
Barringer, Howard - Access Online:
- hdl.handle.net
- Restrictions on Access:
- Unclassified, Unlimited, Publicly available.
- Summary:
- 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.
- Collection:
- NASA Technical Reports Server (NTRS) Collection.
- Note:
- Document ID: 20040012676.
Fifth International Conference on Verification, Model Checking and Abstract Interpretation; 11-13 Jan. 2004; Venice; Italy. - Terms of Use and Reproduction:
- Copyright, Distribution as joint owner in the copyright.
- Access Online:
- hdl.handle.net
View MARC record | catkey: 15966013