Compositional nonblocking verification for extended finite-state automata using partial unfolding.

Sahar Mohajerani Robi Malik Martin Fabian

Published in: CASE (2013)

Keyphrases

finite state automata
finite state machines
hybrid automata
model checking
knowledge base
database
machine learning
machine learning algorithms
petri net