Bookmarks - wr0ng.name
Tag cloud
Picture wall
Daily
Search
Plugins
► Play Videos
RSS Feed
RSS Feed
ATOM Feed
Daily Feed
Filters
Links per page
20 links
50 links
100 links
Display
Filter untagged links
tags
search
The Power of 10: Rules for Developing Safety- Critical Code
http://www.spinroot.com/gerard/pdf/Power_of_Ten.pdf
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/
764 links