164 search results - page 4 / 33 » Model Checking Hierarchical Probabilistic Systems |
113
click to vote
TACAS
2000
Springer
15 years 4 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...
118
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
108
click to vote
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
105
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
