QED at Large: A Survey of Engineering of Formally Verified Software.
Talia RingerKarl PalmskogIlya SergeyMilos GligoricZachary TatlockPublished in: CoRR (2020)
Keyphrases
- software tools
- software systems
- software engineering
- user interface
- databases
- square root
- engineering problems
- software development
- database
- software architecture
- software evolution
- software design
- requirements engineering
- engineering systems
- software process
- hardware design
- software packages
- intelligent software
- software maintenance
- engineering design
- design patterns
- development process
- computer systems
- computer science
- web services
- learning algorithm