GrammaTech es líder mundial en el desarrollo de herramientas para asegurar la máxima calidad y seguridad del código, así como soluciones de ciberseguridad.

Fundada en 1988 por dos profesores de la Cornell University de Wisconsin (EEUU), sus soluciones son usadas a por empresas e instituciones de todo tipo de sectores, incluyendo aviónica, automoción, ferrocarril, control industrial… así como universidades y agencias gubernamentales como la NASA, U.S. Army o FDA entre otras.