Synthesizing safe state machines from Esterel.

Steffen Prochnow Claus Traulsen Reinhard von Hanxleden

Published in: LCTES (2006)

Keyphrases

state machines
circuit design
state machine
petri net
recurrent networks
sequence diagrams
genetic algorithm
multi modal
reverse engineering
reactive systems