GrammaTech Awarded DARPA Research Contract to Develop Techniques for Model Checking Hierarchical Graph Structures

March 15, 2001

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, Inc.

GrammaTech's static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. The staff includes fourteen researchers with PhDs in programming languages and program analysis. More information about GrammaTech can be found at www.grammatech.com.

Previous Article
GrammaTech Awarded Air Force Research Contract to Develop Techniques for Detecting Malicious Code in Firmware

Ithaca, NY – GrammaTech, Inc. announced today that it has been awarded a $99,985 Small Business Innovative ...

Next Article
GrammaTech Awarded NSF Research Grant to Develop Dependence Graphs for Dynamic Internet Technologies

Ithaca, NY – GrammaTech, Inc. announced today that it has been awarded a $99,904 Small Business Innovative ...