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

19.11POWTEX2024 The 25th International Powder Technology Exhibition Tokyo
Industrial Goods and Services »
26.11Sports service SPOTV adopts Zixi for affiliate delivery
26.11EQT to sell Melita to Goldman Sachs Alternatives
26.11U.S. spending on standalone pay TV increased in Q3 2024
26.11yuma 1~60
26.11 GARMIN Approach S20
26.1135130
26.11HOTEL4 DVD-BOX
26.11 VHS
More »