A Specification Translation from Behavioral Specifications to Rewrite Specifications.
Masaki NakamuraWeiqiang KongKazuhiro OgataKokichi FutatsugiPublished in: IEICE Trans. Inf. Syst. (2008)
Keyphrases
- formal specification
- specification language
- reactive systems
- high level
- transition systems
- delay insensitive
- attribute grammars
- control flow
- operational semantics
- databases
- concurrent systems
- formal language
- asynchronous circuits
- state machines
- protocol specification
- state machine
- formal verification
- functional requirements
- finite state machines
- model checking
- neural network