BSSE will present at ESE 2016

Date: 01 Nov 2016

On December 1st, 2016 BSSE will present results of the ESVW activity at the Embedded Software Engineering Conference (ESE) 2016 in Sindelfingen, Germany.

In the course of ESVW (Evaluierung von Software-Verifikationsmethoden und -Werkzeugen, Evaluation of Methods and Tools for Software Verification) BSSE and its subcontractor etamax systematically evaluated several tools for their capabilities on behalf of the German Aerospace Center (DLR).

Among the tools evaluated were QA/C, DCRTT and the GNU Compiler Collection.