In the July 2006 IEEE Computer Journal article: “The Power of 10: Rules for Developing Safety- Critical Code” by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software, the following 10 rules were listed: Restrict all code to very simple control flow constructs—do not use go to statements, set jump or long jump constructs,...Read More
