Evaluation of SW Verification Tools for ESA

Under a commission by the European Space Agency (ESA) as part of a larger contract under the ESA General Studies and Technology Programme, BSSE has evaluated additional software verification tools for their capabilities. Among the tools evaluated were Astree by Absinth, Polyspace BugFinder and CodeProver by The MathWorks, QA/C by Perforce and DCRTT by BSSE. With this activity, BSSE further extends experience collected in previous similar activities executed on behalf of the German Space Agency DLR.