Login / Signup
Verification and Comparison of Transition Systems.
André Arnold
Published in:
TAPSOFT (1993)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
model checker
distributed systems
finite state
formal methods
formal verification
dynamic programming
control flow
reactive systems