СТ |
Symmetry Reduction for Probabilistic Model Checking |
2006 |
Kwiatkowska M., Norman G., Parker D. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.09.2006 |
СТ |
PRISM: Probabilistic Symbolic Model Checker |
2002 |
Kwiatkowska M., Norman G., Parker D. |
|
|
|
Lecture Notes in Computer Science |
29.05.2002 |
СТ |
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach |
2002 |
Kwiatkowska M., Norman G., Parker D. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
СТ |
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation |
2000 |
De Alfaro L., Kwiatkowska M., Norman G., Parker D., Segala R. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |