The EETimes Asia website today published Finding defects in safety critical code by Paul Anderson, GrammaTech's Vice President of Engineering. The article focuses on the role of static source code analyzers – such as GrammaTech CodeSonar® – in reducing bugs in safety-critical systems.
See the article on the EETimes Asia 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