118 search results - page 4 / 24 » Model Checking Durational Probabilistic Systems |
ICFEM
2010
Springer
14 years 6 months ago
2010
Springer
102
Voted
FORMATS
2004
Springer
15 years 2 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 ...
RV
2007
Springer
15 years 3 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
TACAS
2000
Springer
15 years 1 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...