The Power of 10: Rules for Developing Safety- Critical Code

Wed 15 Mar 2017 12:31:52 PM CET

Adhering to a set of 10 verifiable coding rules can make the analysis of critical software components more reliable.

Gerard J. Holzmann
NASA/JPL Laboratory for Reliable Software

http://ieeexplore.ieee.org/abstract/document/1642624/

616 links