NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Probabilistic Analysis of Distributed Fault-Tolerant SystemsAn approach is documented for analyzing probabilistic properties of fault-tolerant distributed systems using the PRISM model checker.
Document ID
20110011564
Acquisition Source
Langley Research Center
Document Type
Contractor Report (CR)
Authors
Dutertre, Bruno (SRI International Corp. Menlo Park, CA, United States)
Date Acquired
August 25, 2013
Publication Date
May 1, 2011
Subject Category
Computer Systems
Report/Patent Number
NASA/CR-2011-217090
NF1676L-12688
Funding Number(s)
WBS: WBS 534723.02.02.07.30
TASK: NNL10AB32T
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available