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/
Gerard J. Holzmann
NASA/JPL Laboratory for Reliable Software
http://ieeexplore.ieee.org/abstract/document/1642624/