Specification, verification, and synthesis using extended state machines with callbacks.

Farhaan Fowze Tuba Yavuz

Published in: MEMOCODE (2016)

Keyphrases

state machines
state machine
petri net
formal verification
sequence diagrams
recurrent networks
reactive systems
model checking
fault tolerant
asynchronous circuits
high level
learning algorithm
low level