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.