Correctness by Construction: A Manifesto for High-Integrity Software - Dec�2005

I can't get enough of these kinds of articals where people have sofware defect rates as low as one or two bugs/month.

Goes to show that it is possible...

STSC CrossTalk - Correctness by Construction: A Manifesto for High-Integrity Software - Dec�2005