Correctness by construction: a manifesto for high integrity software
Roderick Chapman · 2006
High integrity software systems are often so large that conventional development processes cannot get anywhere near achieving tolerable defect rates. This paper presents Correctness by Construction (CbyC)—an approach that has delivered very low defect rate software costeffectively. We describe the main principles of CbyC and the results achieved to date. We also touch on some of the barriers that we have encountered in trying to field CbyC within our own and other organisations.