Sliding between Model Checking and Runtime Verification
- 1 January 2013
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Runtime Verification for LTL and TLTLACM Transactions on Software Engineering and Methodology, 2011
- Comparing LTL Semantics for Runtime VerificationJournal of Logic and Computation, 2009
- Reasoning with Temporal Logic on Truncated PathsLecture Notes in Computer Science, 2003
- Temporal Verification of Reactive SystemsPublished by Springer Science and Business Media LLC ,1995