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

3/25/2002 - GrammaTech, Inc. announced today that it has been awarded a two-year $749,118 Small Business Innovative Research (SBIR) Phase II contract by the Defense Advanced Research Projects Agency (DARPA). Under the terms of the contract, GrammaTech will develop a model checker for C/C++ software. Model Checking is a technique for verifying properties of software, using exhaustive exploration of all possible program executions. This technology is of obvious interest in projects in which high-assurance concerns are paramount, such as air-traffic control systems, military systems, and medical systems.

Previous Page | News by Category | News Search

If you found this page useful, bookmark and share it on: