Search
loader loading subjects...
cover
Probabilistic Model Checking
Authors
Christel Baier
Pages
1 - 23
DOI
10.3233/978-1-61499-627-9-1
Series
NATO Science for Peace and Security Series - D: Information and Communication Security
Ebook
Volume 45: Dependable Software Systems Engineering
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.