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

Posted on


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

Book a Demo

We’re ready to help you integrate SAST and SCA security into your DevSecOps flow. Get a personally guided tour of our solution offerings to ensure you are receiving the right solution for your development team. 

book now