Well-structured transition systems everywhere!

Alain Finkel Philippe Schnoebelen

Published in: Theor. Comput. Sci. (2001)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
reactive systems
artificial intelligence
email
model checker