You are here
Code safety
Created on 09-Jan-2015 - Updated on 24-Jul-2022 - 5465 views
Papers from Gerard J. Holzmann
- The Power of Ten: Rules for Developing Safety Critical Code, IEEE Computer, June 2006
- Experience Using the Power of Ten Coding Rules, with Michael McDougal, Software Test & Performance Magazine, Vol. 6, No. 10, Oct. 2009, pp. 12-16.
- other papers
Misc.
