Se its eption as a spin-off of Cornell University, GrammaTech has focused on providing static analysis for applications where reliability and security are paramount. Their customers create software for avionics, medical, automotive, industrial control, and other mission-critical applications.