An approach is documented for analyzing probabilistic properties of fault-tolerant distributed systems using the PRISM model checker.
Probabilistic Analysis of Distributed Fault-Tolerant Systems
2011-05-01
Report
No indication
English
Fault tolerant distributed systems using Ada
AIAA | 1983
|Development of Fault-Tolerant Distributed Vehicle Systems
British Library Conference Proceedings | 2000
|Fault-Tolerant Systems Based on Distributed IMA Technology
Springer Verlag | 2023
|Secure and fault-tolerant voting in distributed systems
Tema Archive | 2001
|Secure and fault-tolerant voting in distributed systems
IEEE | 2001
|