16 search results - page 1 / 4 » ProbVerus: Probabilistic Symbolic Model Checking |
ARTS
1999
Springer
13 years 9 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
TACAS
2000
Springer
13 years 8 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
MASCOTS
2004
13 years 6 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
ICALP
1997
Springer
13 years 9 months ago
1997
Springer
FORMATS
2004
Springer
13 years 10 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...