STSC CrossTalk - Correctness by Construction A Manifesto for High-Integrity Software - Dec 2005 High-integrity software systems are often so large that conventional development processes cannot get anywhere near achievingtolerable defect rates. This article presents an approach that has delivered software with very low defect rates cost-effectively.We describe the technical details of the approach and the results achieved, and discuss how to overcome barriers to adoptingsuch with processsoftwareby 4 users