Well Behaved Transition Systems.

Michael Blondin Alain Finkel Pierre McKenzie

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
practical reasoning
finite state
control flow
model checker
reactive systems
knowledge base
case study
search algorithm
data flow
formal specification
formal verification