Evaluierung von Software-Verifikationswerkzeugen

We present results from the ESVW activity (Evaluierung von Software-Verifikationsmethoden und -Werkzeugen, Evaluation of Software Verification Method and Tools) BSSE and its subcontractor etamax space GmbH have performed on behalf of the German Space Center (DLR). In the course of this activity, six different verification tools were evaluated for their fault detection capabilities. The presentation provides an insight into the activity, the methods used, the results as well as general and specific lessons learned relevant for the use of software verification tools.