Search
 
loader loading subjects...
cover
Model Checking Meets Probability: A Gentle Introduction
Joost-Pieter Katoen
177 - 205
10.3233/978-1-61499-207-3-177
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 34: Engineering Dependable Software Systems
Abstract

This paper considers fully probabilistic system models. Each transition is quantified with a probability—its likelihood of occurrence. Properties are expressed as automata that either accept of reject system runs. The central question is to determine the fraction of accepted system runs. We also consider probabilistic timed system models. Their properties are timed automata that accept timed runs iff all timing constraints resent in the automaton are met; otherwise its rejects. The central question is to determine the fraction of accepted timed system runs.

$35.00 / €27.50 / £22.00
Add PDF to cart