Home › NASA Awards GrammaTech Contract for Eclipse Specification Editing and Discovery Tool for C/C++
 

Keywords :   


NASA Awards GrammaTech Contract for Eclipse Specification Editing and Discovery Tool for C/C++

2013-07-09 06:00:00| Industrial Newsroom - All News for Today

ITHACA, NY &ndash; GrammaTech, Inc., a leading software developer specializing in software assurance tools and cybersecurity solutions, today announced that the company has received an award from NASA to prototype a specification editing and discovery tool (SPEEDY) for C/C++ code analysis.<br /> <br /> Packaged as a plug-in to the Eclipse integrated development environment (IDE), the tool will assist software developers in modular formal verification tasks. SPEEDY will provide automated ...This story is related to the following:Software Development Tools |

Tags: for tool contract cc

Category:Industrial Goods and Services

Latest from this category

All news
01.10Boosting Membership Value
Industrial Goods and Services »
05.10Weekly Recap: BASF, Beckers, Allnex, Sherwin-Williams Top This Weeks Stories
05.10Hurricane Kirk Graphics
05.10Hurricane Kirk Forecast Discussion Number 24
05.10Hurricane Kirk Wind Speed Probabilities Number 24
05.10Hurricane Kirk Forecast Advisory Number 24
05.10Hurricane Kirk Public Advisory Number 24
05.10Summary for Hurricane Kirk (AT2/AL122024)
05.10Hurricane Leslie Graphics
More »