Research

November 18, 2002
GrammaTech Awarded Missile Defense Agency (MDA) Research Contract to Develop Toolset for Maintaining Legacy Ada Code

News
April 18, 2002
GrammaTech Awarded Air Force Research Contract to Develop Techniques for Detecting Security Vulnerabilities

News
March 25, 2002
GrammaTech Awarded Air Force Phase II SBIR Research Contract to Develop Techniques for Detecting Malicious Code in Firmware

News
March 25, 2002
GrammaTech Awarded DARPA Phase II SBIR Research Contract to Develop Techniques for Model Checking Hierarchical Graph Structures

News
January 1, 2002
GrammaTech Awarded NSF Research Grant to Develop Dependence Graphs for Unit-Testing Solution

News
November 5, 2001
GrammaTech Awarded NASA Contract to Develop Incremental Code Migration Techniques

News
November 2, 2001
GrammaTech Awarded NASA Contract for Advanced Automatic Differentiation

News
July 18, 2001
GrammaTech Awarded NIST Contract to Develop A Security Toolkit for Mobile Code

News
May 22, 2001
GrammaTech Awarded Navy Research Contract to Design an Integration of Model Checking with Rational’s Rose for Realtime

News

Contact Us

Get a personally guided tour of our solution offerings.