Finding defects using Holzmann's "Power of 10" rules for writing safety critical code
4/14/2009 -
GrammaTech's Paul Anderson in Embedded.com
The Embedded.com website today published an article by Paul Anderson, GrammaTech's Vice President of Research. The article is titled Finding defects using Holzmann's "Power of 10" rules for writing safety critical code and focuses particularly on Rule 10, which specifies the daily use of static source code analyzers such as CodeSonar.
CodeSonar 3.4,
announced on March 31, will include explicit support for the Power of
10 rules.
See the article on the Embedded.com website.