Keyphrases
- formal methods
- tool support
- software engineering
- software development
- formal analysis
- software projects
- model checker
- knowledge based systems
- software tools
- design decisions
- safety critical
- model checking
- requirements engineering
- process algebra
- formal specification
- artificial intelligence
- test suite
- software systems
- databases
- development lifecycle
- development process
- reverse engineering
- business processes
- relational databases
- expert systems
- cooperative
- database systems
- high level
- real world