Keyphrases
- formal specification
- team formation
- protocol specification
- model checker
- model checking
- object oriented design
- multi agent
- specification languages
- specification language
- data abstraction
- formal methods
- process algebra
- reverse engineering
- concurrent systems
- communication protocol
- distributed network
- communication protocols
- machine learning
- transformation rules
- formal verification
- software components
- information systems