Efficient monitoring of safety properties
- 28 November 2003
- journal article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 6 (2) , 158-173
- https://doi.org/10.1007/s10009-003-0117-6
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- High‐level data racesSoftware Testing, Verification and Reliability, 2003
- Towards Monitoring-Oriented ProgrammingElectronic Notes in Theoretical Computer Science, 2003
- Experiments with Test Case Generation and Runtime AnalysisPublished by Springer Nature ,2003
- Tracing the executions of concurrent programsElectronic Notes in Theoretical Computer Science, 2002
- Monitoring Java Programs with Java PathExplorerElectronic Notes in Theoretical Computer Science, 2001
- Formal analysis of a space-craft controller using SPINIEEE Transactions on Software Engineering, 2001
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- The declarative past and imperative futurePublished by Springer Nature ,1989