This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Power of 10: Rules for Developing Safety-Critical Code
June 2006 (vol. 39 no. 6)
pp. 95-97
Gerard J. Holzmann, NASA/JPL Laboratory for Reliable Software
Adhering to a set of 10 verifiable coding rules can make the analysis of critical software components more reliable.
Index Terms:
software technologies, coding rules, software development
Citation:
Gerard J. Holzmann, "The Power of 10: Rules for Developing Safety-Critical Code," Computer, vol. 39, no. 6, pp. 95-97, June 2006, doi:10.1109/MC.2006.212
Usage of this product signifies your acceptance of the Terms of Use.