Login / Signup
Proving Liveness of Fair Transition Systems.
Holger Busch
Published in:
TPHOLs (1996)
Keyphrases
</>
transition systems
model checking
temporal logic
concurrent systems
finite state
control flow
practical reasoning
reactive systems
model checker
learning algorithm
domain specific
distributed systems