Ghosts for Lists: From Axiomatic to Executable Specifications.
Frédéric LoulergueAllan BlanchardNikolai KosmatovPublished in: TAP@STAF (2018)
Keyphrases
- formal specification
- attribute grammars
- control flow
- specification language
- process algebra
- high level
- asynchronous circuits
- order sorted
- functional requirements
- model checking
- finite state machines
- context free grammars
- context free
- concurrent systems
- case study
- operational semantics
- video sequences
- reactive systems
- clustering algorithm
- axiomatic characterization
- e learning