Publication | Closed Access
A framework for reasoning about time and reliability
91
Citations
16
References
2003
Year
Unknown Venue
EngineeringVerificationMarkov Decision ProcessesFormal VerificationMarkov ChainsReliability EngineeringProbability LogicStochastic ProcessesSystems EngineeringTemporal LogicTimed SystemMarkov ChainReliabilityProbabilistic SystemMarkov ProcessesStochastic NetworksComputer ScienceProbability TheoryQueueing SystemsAutomated ReasoningNatural SciencesProbabilistic VerificationFormal MethodsTemporal Logic Ctl
A logic is presented for stating properties such as 'after a request for service there is at least a 98% probability that the service will be carried out within 2 s'. The logic extends the temporal logic CTL by E.A. Emerson et al. (1983) with time and probabilities. Formulas are interpreted over discrete time Markov chains. Algorithms are provided for checking that a given Markov chain satisfies a formula in the logic. An example is included to illustrate the algorithms.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1