An Empirical Evaluation of Automated Theorem Provers in Software Certification.
Ewen DenneyBernd FischerJohann SchumannPublished in: Int. J. Artif. Intell. Tools (2006)
Keyphrases
- software systems
- computer algebra
- automated theorem provers
- software development
- software design
- source code
- quality assurance
- third party
- exam preparation
- commercial software
- software tools
- data mining
- software architecture
- knowledge representation
- user interface
- bayesian networks
- software components
- software developers
- software maintenance
- empirical evaluation
- open source