March 15, 2001
GrammaTech Awarded DARPA Research Contract to Develop Techniques for Model Checking Hierarchical Graph Structures
Ithaca, NY -- GrammaTech, Inc. announced today that it has been awarded a $98,941 Small Business Innovative Research (SBIR) Phase I contract by the Defense Advanced Research Projects Agency (DARPA). Upon completion of this six-contract GrammaTech will be eligible to compete for up to $750,000 in Phase II SBIR funding. Under terms of the agreement, GrammaTech will develop techniques for model checking hierarchical graph structures.
Model checking is a verification technique that allows users to verify properties of software and hardware systems. Model checking allows users to verify absence of software faults and security vulnerabilities, whereas traditional testing techniques can only detect their presence. Potential applications include automated verification of software and automated vulnerability scanning of security applications.
About Grammatech
GrammaTech's static-analysis tools are used worldwide by startups,
Fortune 500 companies, educational institutions, and government
agencies. The staff includes ten researchers with PhDs in programming
languages and program analysis. The company has offices in Ithaca, New
York, and San Jose, California. More information about GrammaTech can
be found at www.grammatech.com.
GrammaTech, Inc.
317 N. Aurora St.
Ithaca, NY 14850 USA
phone: 607-273-7340
fax: 607-273-8752
e-mail: info@grammatech.com