Keyphrases
- formal specification
- attribute grammars
- control flow
- specification language
- model checking
- process algebra
- delay insensitive
- high level
- functional requirements
- software components
- concurrent systems
- reverse engineering
- multiscale
- image processing
- real time
- database
- software engineering
- data flow
- learning environment
- bayesian networks
- case study
- formal verification
- decision making
- information systems
- transition systems