Well Behaved Transition Systems.

Michael Blondin Alain Finkel Pierre McKenzie

Published in: CoRR (2016)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
model checker
formal specification
search algorithm