The verified software initiative: A manifesto.

C. A. R. Hoare Jayadev Misra Gary T. Leavens Natarajan Shankar

Published in: ACM Comput. Surv. (2009)

Keyphrases

software development
software systems
computer vision
software package
computer systems
software platform
data sets
software design
software maintenance
software architecture
source code
software projects
evolutionary algorithm
software quality
high level
analysis tool
machine learning