Generating finite state machines from abstract state machines.

Wolfgang Grieskamp Yuri Gurevich Wolfram Schulte Margus Veanes

Published in: ISSTA (2002)

Keyphrases

finite state machines
model checking
finite state automata
regular expressions
hidden markov models
automatically generating
digital circuits
state transition
machine learning
object oriented
black box