Probabilistic Model Checking
Published in NATO science for peace and security series. D, Information and communication security • Jan 1, 2016
NobleIDNI8P69W58R27S20
Authors:
Christel Baier
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.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!