Copyright © 2004-2010 BSSE.
All rights reserved.
Impressum Legal Notice

Papers 2016

Evaluierung von Software-Verifikationswerkzeugen [00091]
EventEmbedded Software Engineering Kongress 2016
Date1 Dec 2016 - 1 Dec 2016
LocationSindelfingen, Germany
Files
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.