CodeSecure, Inc.
CodeSecure ist Hersteller des statischen Codeanalysetools CodeSonar®. Das Tool wird intensiv von Softwareentwicklern von kritischer Software in Luft- und Raumfahrt, Medizintechnik und Automation sowie in anderer missionskritischer Software eingesetzt.CodeSecure, eine Ausgründung der Cornell University, wurde 1988 von Thomas Reps und Tim Teitelbaum in Ithaca im amerikanischen Bundesstaat New York gegründet.
15 promovierte Experten arbeiten hier mit einem motivierten Engineering-Team an der Weiterentwicklung eines innovativen "in-depth analysis algorithms" für die statische Code-Analyse.
Verifysoft ist Distributor für die Werkzeuge von CodeSecure im deutschsprachigen Raum.
Weitere Informationen über CodeSecure:Wikipedia
CodeSecure, Inc.
6903 Rockledge Drive
Bethesda, MD 20817
Maryland
Tel.: +1-607-273-7340
www.grammatech.com