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

Wed Mar 15 12:31:52 2017

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/

613 links