je.st
news
Home
›
NASA Awards GrammaTech Contract for Eclipse Specification Editing and Discovery Tool for C/C++
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 – 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