Publication | Closed Access

Model checking for a probabilistic branching time logic with fairness

EngineeringAutomated ReasoningProbabilistic Branching TimeProbabilistic VerificationVerificationFormal MethodsComputer-aided VerificationSystems EngineeringProbability TheoryComputer ScienceTemporal LogicTimed SystemModel CheckingFormal Verification