An Executable Semantics of Clock Constraint Specification Language and Its Applications.
Min ZhangFrédéric MalletPublished in: FTSCS (2015)
Keyphrases
- specification language
- formal specification
- process algebra
- programming language
- description language
- model checking
- software environment
- high speed
- high level
- attribute grammars
- power consumption
- symbolic execution
- software engineering
- reverse engineering
- software components
- temporal logic
- dynamic environments
- case study