You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
15 years ago | |
|---|---|---|
| .. | ||
| README.txt | 15 years ago | |
| auto | 18 years ago | |
| cluster.csl | 16 years ago | |
| cluster.sm | 16 years ago | |
README.txt
This case study is based on a dependable cluster of workstations, taken from [HHK00].
For more information, see: http://www.prismmodelchecker.org/casestudies/cluster.php
=====================================================================================
[HHK00]
B. Haverkort, H. Hermanns and J.-P. Katoen
On the use of model checking techniques for dependability evaluation
In Proc. 19th IEEE Symposium on Reliable Distributed Systems (SRDS'00), 228-237, 2000