Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness.

Jean-Pierre Queille Joseph Sifakis

Published in: Acta Informatica (1983)

Keyphrases

temporal logic
transition systems
model checking
concurrent systems
modal logic
finite state
model checker
practical reasoning
linear temporal logic
belief revision
control flow
computation tree logic
formal specification
reactive systems
verification method