Keyphrases
- case study
- programming language
- lessons learned
- theorem prover
- formal methods
- real world
- general purpose
- natural deduction
- development process
- software systems
- highly optimized
- knowledge management
- open source
- artificial intelligence
- software development
- information technology
- data sets
- provably correct
- higher order logic
- literature review
- design process
- knowledge representation