References

More than 200 European customers benefit of Verifysoft´s software testing and analysis solutions to increase productivity and quality of their software development. Many of our licenses are used in "security critical development", i.e. DO178-B projects.

Some of our references (partial list):

Aerospace and Defense
AOA Apparatebau Gauting
Barco
Berner & Mattner Systemtechnik
Bombardier
DGA - Ministère de la défense (France)
ESA European Space Agency
ESO European Southern Observatory
Fokker Elmo B.V.
ICS AG Stuttgart
Jenaoptronik
Kayser-Threde GmbH
Mongram Systems
NavPos Systems
Raytheon Anschütz
Silver Atena Electronic Systems
Software & Systeme GmbH Erfurt
Thales
TTTech Computertechnik AG
Zodiac Aerospace

Automation and Industry
Bachmann electronic
Baumüller Anlagen-Systemtechnik
Bernecker & Rainer
Bernstein AG
Biasys Systempartner
Endress+Hauser Conducta
Hitachi
Hittech Multin BV
ICS AG Stuttgart
ISH GmbH
Infineon
Intel
Kappa Opto-Electronics GmbH
Lachmann & Rink GmbH
LARsys Automation
LIEBHERR
Loewe Opta
Philips Applied Technologies
Schindler Aufzüge AG
SICK AG
TTTech Computertechnik AG
Viessmann Werke
VIPA GmbH

Banking, Insurace,
Business Applications
CNIEG Caisse Nationale, Nantes
Comprenium Leasing
Empolis GmbH
RTC Real Time Center (CH)
Software Daten Service Vienna
T-Systems International

Automotive and Transportation
APAG Elektronik AG
Barco
Berner & Mattner Systemtechnik
BMW AG
Bombardier
Bosch
Carmeq
Continental Automotive
Daimler AG
ICS AG Stuttgart
ICT Group Netherlands
Elektrobit
ELIN EBG Traction
Ferrocontrol/Eckelmann Group
FKFS Stuttgart
IAV GmbH (Ing.ges. Auto u. Verkehr)
Kayser-Threde GmbH
Lenze Drive Systems
MÁV Informatika Kft. (Hungary)
MBtech (Mercedes-Benz technology)
Mercedes-AMG GmbH
messMa GmbH Irxleben
Knorr Bremse
RialtoSoft (ICT Group)
Siemens Transportation Systems
Silver Atena Electronic Systems
Software & Systeme GmbH Erfurt
Thales
Volkswagen AG
TomTom International BV
TTTech Computertechnik AG
ZF Friedrichshafen AG
ZF Lenksysteme GmbH
ZF Sachs AG

Digital Security
BSI - Federal Office of Inf. Security
ComArch
Datacard Fleury/Orléans
Gemalto
Giesecke & Devrient
Hitachi
Oberthur Technologies
Secunet
Thales

Education
Berner Fachhochschule
Fachhochschule Trier
Hochschule Darmstadt
Hochschule Offenburg
Hochschule Ravensburg-Weingarten
Technische Universität Dresden
Universität Mannheim
Universität Stuttgart
Université de Technologie Compiègne

Energy and Nuclear Power
RWE AG

Information Technology Consulting
AKKA Technologie (France)
BT Syntegra (France)
T-Systems (Germany)
T-Systems International
Sopra Group (France)
Sully Group (France)

Medical/Healthcare
Angel Med
Barco
Carl Zeiss Meditec
CogniMed GmbH
General Electrics Healthcare
Hitachi
IRCAD Strasbourg (France)
OD-OS GmbH Teltow
Siemens Healthcare
Software & Systeme GmbH Erfurt

Telecom and Datacom
Alcatel-Lucent
Cinterion Wireless Modules
ComArch
Elektrobit
Neofonie Berlin
Sagem Telecommunications
Secunet
Siemens Enterprise Communications
T-Mobile
Sierra Wireless (Wavecom)
WEB.DE AG

other
Bewotec
Bull
HighTec EDV-Systeme
EATON
Infinion
Kappa Opto-Electronics GmbH
Kopf GmbH
Mentor Graphics
MESCO Engineering
metaio GmbH
Micronas
Moeller GmbH Bonn
NDS Technologies France
NXP
Philips Applied Technologies
Schindler Aufzüge AG
Siemens Building Technologies
ST Microelectronics
Texas Instruments
Thales
Trident Microsystems

last updated: 11.01.2010

mailto:info