QED at Large: A Survey of Engineering of Formally Verified Software.
Talia RingerKarl PalmskogIlya SergeyMilos GligoricZachary TatlockPublished in: Found. Trends Program. Lang. (2019)
Keyphrases
- software development
- software systems
- software tools
- software process
- software engineering
- software design
- artificial intelligence
- software package
- software architecture
- genetic algorithm
- software requirements
- asymptotic analysis
- requirements engineering
- software maintenance
- software projects
- software intensive systems
- personal computer
- data mining
- case study
- commercial software
- electrical engineering
- engineering problems
- computer software
- user interface
- software packages
- systems engineering
- object oriented
- source code
- design process
- embedded systems
- software developers