Using Automated Theorem Provers to Certify Auto-generated Aerospace Software.
Ewen DenneyBernd FischerJohann SchumannPublished in: IJCAR (2004)
Keyphrases
- automated theorem provers
- computer algebra
- software development
- software tools
- software package
- software systems
- machine learning
- software engineering
- databases
- generation method
- software design
- software projects
- randomly selected
- formal methods
- software architecture
- automatically generating
- source code
- real time
- software quality
- embedded systems
- hardware design
- computer software
- data mining