CodeSecure is the developer of CodeSonar
the most powerful source code analysis system available today. CodeSonar® is widely used by software developers in
avionics, medical, industrial control, and other mission-critical applications.
Originally a spin-off of Cornell University, CodeSecure was co-founded in 1988 by Thomas Reps and Tim Teitelbaum in Ithaca, NY.
CodeSecure´s staff includes 15 PhD-level experts in static analysis and a superb engineering team,
all focused on creating the most innovative and in-depth analysis algorithms.
Verifysoft supports and distributes CodeSecure´s static analysis tools in German speaking countries.
6903 Rockledge Drive, Suite 1250
Bethesda, MD 20817
Other partners of Verifysoft Technology GmbH