CodeSecure, Inc.

CodeSecure est la société qui développe CodeSonar®, le plus puissant système d´analyse de code source disponible de nos jours. CodeSonar® est largement utilisé par les développeurs de logiciels en aérospacial, pour le contrôle industriel, médical et pour de nombreuses autres applications critiques.
A l´origine une spin-off de l´Université Cornell, CodeSecure a été co-fondé en 1988 par Thomas Reps et Tim Teitelbaum, Ithaca, NY. Les développeurs de CodeSecure sont 15 experts ayant un doctorat en analyse statique et une équipe d´ingénierie, tous axés sur la création et l´innovation d´algorithmes d´analyse.
Verifysoft distribue et réalise le support des outils d´analyse statique de CodeSecure dans les pays germanophones.

Plus d´informations: Wikipedia

CodeSecure, Inc.
6903 Rockledge Drive, Suite 1250
Bethesda, MD 20817
Maryland
Tel.: +1-607-273-7340
www.grammatech.com

Autres partenaires de Verifysoft Technology GmbH