Keyphrases
- formal specification
- communication protocol
- safety critical
- formal methods
- model checker
- protocol specification
- model checking
- specification languages
- specification language
- object oriented design
- communication protocols
- process algebra
- reverse engineering
- concurrent systems
- wifi
- real time
- grid workflow
- database
- temporal logic
- low cost
- knowledge representation
- cooperative
- decision making