Evaluation of Software Verification Tools for DLR completed

Date: 02 Mar 2016

Today, the ESVW activity for the evaluation of software verification tools (Evaluierung von Software-Verifikationsmethoden und -Werkzeugen, Evaluation of Methods and Tools for Software Verification) performed by BSSE and its subcontractor etamax on behalf of the German Aerospace Center (DLR) was officially concluded.

In the activity started in March 2015, six tools were systematically evaluated for their capabilities in the context of software verification. Among the tools evaluated were QA/C, DCRTT and the GNU Compiler Collection.