Company Overview

Our customers create software for avionics, medical, industrial control, and other mission-critical applications. Since its inception as a spin-off of Cornell University, GrammaTech has focused on providing static analysis for applications where reliability and security are paramount. Our staff includes thirteen PhD-level experts in static analysis and a superb engineering team, all focused on creating the most innovative and in-depth analysis algorithms.


Free Trial | Products | Customers | Support | News | Jobs | About Us © 2007-2012, GrammaTech, Inc. All rights reserved.
The Synthesizer Generator, Ada-ASSURED, Ada-Utilities, and SmashProof are trademarks of GrammaTech, Inc. CodeSurfer and CodeSonar are registered trademarks of GrammaTech, Inc.