A Temporal Logic to Deal with Fairness in Transition Systems

Jean-Pierre Queille Joseph Sifakis

Published in: FOCS (1982)

Keyphrases

temporal logic
transition systems
model checking
concurrent systems
modal logic
model checker
linear temporal logic
practical reasoning
markov chain
computation tree logic
reactive systems
verification method
finite state
control flow
belief revision
orders of magnitude
distributed systems