Symbolic Model Checking for Probabilistic Processes

DMCA

Symbolic Model Checking for Probabilistic Processes (1997)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Christel Baier , Edmund M. Clarke , Vasiliki Hartonas-Garmhausen , Marta Kwiatkowska , Mark Ryan

Citations:

94 - 28 self

BibTeX

@INPROCEEDINGS{Baier97symbolicmodel,
    author = {Christel Baier and Edmund M. Clarke and Vasiliki Hartonas-Garmhausen and Marta Kwiatkowska and Mark Ryan},
    title = {Symbolic Model Checking for Probabilistic Processes},
    booktitle = {},
    year = {1997},
    pages = {430--440},
    publisher = {Springer}
}

OpenURL

Abstract

We introduce a symbolic model checking procedure for Probabilistic Computation Tree Logic PCTL over labelled Markov chains as models. Model checking for probabilistic logics typically involves solving linear equation systems in order to ascertain the probability of a given formula holding in a state. Our algorithm

Keyphrases

symbolic model checking probabilistic process linear equation system symbolic model probabilistic computation tree logic pctl labelled markov chain probabilistic logic

DMCA