Probabilistic model checking
Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed › peer-review
Contributors
Abstract
Probabilistic model checking is a fully automated method for the quantitative system analysis against temporal logic specifications. This article provides an overview of the main model-checking concepts for finite-state discrete-time Markov chains.
Details
| Original language | English |
|---|---|
| Title of host publication | Dependable Software Systems Engineering |
| Editors | Javier Esparza, Orna Grumberg, Salomon Sickert |
| Publisher | IOS Press |
| Pages | 1-23 |
| Number of pages | 23 |
| ISBN (electronic) | 978-1-61499-627-9 |
| ISBN (print) | 978-1-61499-626-2 |
| Publication status | Published - 19 Apr 2016 |
| Peer-reviewed | Yes |
Publication series
| Series | NATO Science for Peace and Security Series - D: Information and Communication Security |
|---|---|
| Volume | 45 |
| ISSN | 1874-6268 |
External IDs
| ORCID | /0000-0002-5321-9343/work/160951228 |
|---|
Keywords
ASJC Scopus subject areas
Keywords
- Dicsrete-time markov chains, Model checking, Probabilistic computation tree logic