[atsaloli]

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.

[martinvanaken]

Thanks, nice list, summarize a good part of the best practices in a short form. Will quote.

[atsaloli]

Excellent, you are most welcome.

I need to write a shorter version, to make the data more broadly accessible.