NASA Awards GrammaTech Contract for Eclipse Specification Editing and Discovery Tool for C/C++
ITHACA, NY–July 9, 2013–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.
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 suggestions of specifications for given contexts, with user interface features aiding developers in generating, … Read More → "NASA Awards GrammaTech Contract for Eclipse Specification Editing and Discovery Tool for C/C++"