Keyphrases
- operational semantics
- attribute grammars
- high level
- delay insensitive
- formal specification
- artificial intelligence
- functional requirements
- semantic constraints
- bounded model checking
- concurrent systems
- syntactic semantic
- real time
- specification language
- distributed systems
- natural language
- computer vision
- databases