Keyphrases
- software components
- model checker
- formal specification
- model checking
- formal methods
- formal verification
- description language
- software systems
- temporal logic
- software development
- web services
- software reuse
- set theory
- building blocks
- specification language
- reusable components
- source code
- test suite
- software architecture
- case study
- real world
- ai planning
- databases
- software engineering
- database systems
- decision making
- artificial intelligence