Keyphrases
- specification language
- formal specification
- programming language
- description language
- symbolic execution
- collaborative learning
- software environment
- information sharing
- requirements specification
- knowledge management
- model checking
- knowledge intensive
- general purpose
- model checker
- cooperative
- database systems
- information systems