A brief account of runtime verification
- 1 May 2009
- journal article
- Published by Elsevier BV in The Journal of Logic and Algebraic Programming
- Vol. 78 (5), 293-303
- https://doi.org/10.1016/j.jlap.2008.08.004
Abstract
No abstract availableKeywords
This publication has 41 references indexed in Scilit:
- Temporal Assertions using AspectJElectronic Notes in Theoretical Computer Science, 2006
- Self-Managing SoftwareComputer, 2006
- A taxonomy and catalog of runtime software-fault monitoring toolsIEEE Transactions on Software Engineering, 2004
- On the Construction of Monitors for Temporal Logic PropertiesElectronic Notes in Theoretical Computer Science, 2001
- Debugging for timing-constraint violationsIEEE Software, 1996
- Safety, liveness and fairness in temporal logicFormal Aspects of Computing, 1994
- A noninterference monitoring and replay mechanism for real-time software testing and debuggingIEEE Transactions on Software Engineering, 1990
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- Failure diagnosis of automataCybernetics and Systems Analysis, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969