Formalising Extended Finite State Machine Transition Merging.

Michael Foster Ramsay G. Taylor Achim D. Brucker John Derrick

Published in: ICFEM (2018)

Keyphrases

finite state machines
state transition
finite state automata
model checking
state machine
digital circuits
regular expressions
cellular automaton
input output
merging algorithm