See six steps to success section of my write-up of Dr. Holzmann's talk on how JPL builds reliable software. http://www.verticalsysadmin.com/making_robust_software/
The clever idea is to make your coding standard mechanically verifiable.
The clever idea is to make your coding standard mechanically verifiable.
I need to write a shorter version, to make the data more broadly accessible.