Synthesis of QDI FSMs from Synchronous Specifications.

Fu-Chiung Cheng Yuan-Feng Chen Shu-Chuan Huang Ching-Yang Huang

Published in: ASYNC (2014)

Keyphrases

finite state machines
program synthesis
high level
model checking
formal specification
control flow
real time
information systems
delay insensitive
learning algorithm
case study
learning environment
hidden markov models
texture synthesis
functional requirements
operational semantics