Specification and Synthesis of Communicating Finite State Machines.
H. BelhadjLaurent GerbauxMarie-Claude BertrandGabriele SaucierPublished in: Synthesis for Control Dominated Circuits (1992)
Keyphrases
- finite state machines
- state machine
- state transition
- model checking
- finite state automata
- formal specification
- functional decomposition
- specification language
- program synthesis
- digital circuits
- hidden markov models
- neural network
- reactive systems
- texture synthesis
- database
- natural language processing
- domain knowledge
- high level
- databases