Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking
From MaRDI portal
Publication:3510805
DOI10.1007/978-3-540-75596-8_24zbMath1141.68470OpenAlexW1677369871MaRDI QIDQ3510805
Tingting Han, Joost-Pieter Katoen
Publication date: 3 July 2008
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75596-8_24
Related Items
Counterexamples in Probabilistic LTL Model Checking for Markov Chains ⋮ Survey on Directed Model Checking ⋮ Assisting the design of a groupware system - Model checking usability aspects of thinkteam
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on two problems in connexion with graphs
- A logic for reasoning about time and reliability
- Extended Directed Search for Probabilistic Timed Reachability
- Transient analysis of acyclic markov chains
- Finding the k Shortest Paths
- Model-checking continuous-time Markov chains
- Counterexamples in Probabilistic Model Checking
- Formal Modeling and Analysis of Timed Systems
- Computer Aided Verification