Fair Synchronous Transition Systems and Their Liveness Proofs.

Amir Pnueli Natarajan Shankar Eli Singerman

Published in: FTRTFT (1998)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
theorem prover
markov chain
model checker
reactive systems
formal specification
formal methods
formal verification
case study