Keyphrases
- formal specification
- model checking
- formal verification
- timed automata
- object oriented design
- specification languages
- specification language
- reverse engineering
- process algebra
- concurrent systems
- formal methods
- theorem proving
- temporal logic
- design methodology
- semantic data models
- protocol specification
- software components
- formal specification language
- software engineering
- software testing
- building blocks
- general purpose