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
31.10Consolidated Financial Statements for the six-month period ended September 30, 2024
31.10Notice regarding the revision of the business results forecasts
Industrial Goods and Services »
05.11Registration Now Open for RadTech 2025
05.11Atlantic Tropical Weather Outlook
05.11Eastern North Pacific Tropical Weather Outlook
05.11Tropical Storm Rafael Graphics
05.11Tropical Storm Rafael Public Advisory Number 7A
05.11Summary for Tropical Storm Rafael (AT3/AL182024)
05.11Vodafone-Three merger could get green light, watchdog says
05.11Altice USA residential video RGUs down 77,000 in 3Q 2024
More »