Model checking for a probabilistic branching time logic with fairness

• 1 August 1998
• journal article
• Published by Springer Nature in Distributed Computing
• Vol. 11  (3) , 125-155
• https://doi.org/10.1007/s004460050046

Abstract

Keywords

• TEMPORAL LOGIC
• CONCURRENT PROBABILISTIC SYSTEM
• PROBABILISTIC PROCESSES
• TIME LOGIC PBTL
• LOGIC TPCTL
• LOGIC EXPRESS PROPERTY
• MODEL CHECKING ALGORITHM
• FAIRNESS CONSTRAINT
• CONCURRENT PROBABILISTIC PROCESS
• LOGIC PCTL
• PROBABILISTIC AUTOMATON
• FAIRNESS
• PBTL FORMULA
• VER- IFICATION
• SATISFIABILITY
• DISTRIBUTED SYSTEM
• PROBABILISTIC AUTOMATA
• VERIFICATION
• PROBABILITY DISTRIBUTION
• COL