Statistical Model Checking Using Perfect Simulation
From MaRDI portal
Publication:3648695
DOI10.1007/978-3-642-04761-9_11zbMath1262.68119MaRDI QIDQ3648695
Nihal Pekergin, Diana El Rabih
Publication date: 1 December 2009
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-642-04761-9_11
68Q60: Specification and verification (program logics, model checking, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Statistical Verification of Probabilistic Properties with Unbounded Until, Statistical Model Checking Using Perfect Simulation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic for reasoning about time and reliability
- On the exact simulation of functionals of stationary Markov chains
- Statistical probabilistic model checking with a focus on time-bounded properties
- Statistical Model Checking Using Perfect Simulation
- Computer Aided Verification
- Model-checking continuous-time Markov chains
- Verification, Model Checking, and Abstract Interpretation