Handling infinitely branching well-structured transition systems.

Michael Blondin Alain Finkel Pierre McKenzie

Published in: Inf. Comput. (2018)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
practical reasoning
control flow
finite number
model checker
reactive systems
knowledge base
search algorithm
hidden markov models
formal methods