Probabilistic model checking
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung
Beitragende
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
| Originalsprache | Englisch |
|---|---|
| Titel | Dependable Software Systems Engineering |
| Redakteure/-innen | Javier Esparza, Orna Grumberg, Salomon Sickert |
| Herausgeber (Verlag) | IOS Press |
| Seiten | 1-23 |
| Seitenumfang | 23 |
| ISBN (elektronisch) | 978-1-61499-627-9 |
| ISBN (Print) | 978-1-61499-626-2 |
| Publikationsstatus | Veröffentlicht - 19 Apr. 2016 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | NATO Science for Peace and Security Series |
|---|---|
| Band | 45 |
| ISSN | 1874-6268 |
Externe IDs
| ORCID | /0000-0002-5321-9343/work/160951228 |
|---|
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- Dicsrete-time markov chains, Model checking, Probabilistic computation tree logic