April 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 Engineering. 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.
About GrammaTech
GrammaTech's static-analysis tools are used worldwide by startups,
Fortune 500 companies, educational institutions, and government
agencies. The staff includes thirteen researchers with PhDs in programming
languages and program analysis. More information about GrammaTech can
be found at www.grammatech.com.
GrammaTech, Inc.
531 Esty Street
Ithaca, NY 14850 USA
phone: 607-273-7340
fax: 607-273-8752
e-mail: info@grammatech.com