Rewrite-Based Statistical Model Checking of WMTL
- 1 January 2013
- book chapter
- Published by Springer Nature
- p. 260-275
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Computational Modeling and Verification of Signaling Pathways in Cancer2012
- Monitor-Based Statistical Model Checking for Weighted Metric Temporal LogicLecture Notes in Computer Science, 2012
- Statistical Model Checking for Networks of Priced Timed Automata2011
- Statistical Model Checking: An Overview2010
- Comparing LTL Semantics for Runtime VerificationJournal of Logic and Computation, 2009
- Model Checking One-clock Priced Timed AutomataLogical Methods in Computer Science, 2008
- Costs Are Expensive!Lecture Notes in Computer Science, 2006
- Synthesizing Monitors for Safety Properties2002
- Minimum-Cost Reachability for Priced Time Automata2001
- The Temporal Rover and the ATG Rover2000