ITHACA, NY — (Marketwired) — 07/09/13 — 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 automat
Award-Winning GrammaTech CodeSonar Static-Analysis Tool Available for Classes and Research
CodeSonar-s Visualization Scales to Millions of Lines of Code
