Correctness by Construction is a radical, effective and economical method of building software with high integrity especially for security-critical and safety-critical applications. It produces software with extremely low defect rates – fewer than 0.1 defects per thousand lines of code – with good productivity – up to around 30 lines of code per day.

It is described in the Technology section of Anthony Hall’s web site.

[Home]