Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems
Open Access
- 31 October 2003
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 89 (2), 210-225
- https://doi.org/10.1016/s1571-0661(04)81050-8
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Monitoring Java Programs with Java PathExplorerElectronic Notes in Theoretical Computer Science, 2001
- It's about time: Real-time logics reviewedPublished by Springer Science and Business Media LLC ,1998
- Simple On-the-fly Automatic Verification of Linear Temporal LogicPublished by Springer Science and Business Media LLC ,1996
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955