December 2, 2008
GrammaTech's Paul Anderson in Embedded Computing Design
The Embedded Computing Design website today published "Applying hardware verification techniques to software" by Paul Anderson. This article describes formal verification techniques, such as model checking, which are routinely applied by hardware engineers and are now being applied to the problem of software analysis.
See the article on the Embedded Computing Design 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