Auf Deutsch, Bitte!
The Verisoft XT Project
Verisoft XT is a three-year research project funded by the German Federal Ministry of Education and Research (BMBF). Project management agency is the German Aerospace Center (DLR). The main goal of the project is the pervasive formal verification of computer systems. The correct functionality of systems, as they are used, for example, in automotive engineering, in security technology and in the sector of medical technology, is to be mathematically proved.
The proofs are computer aided in order to prevent human error by the scientists involved. The knowledge and progress obtained are expected to assist german enterprise in achieving a stable, internationally competitive position in the professional areas mentioned above.
The Verisoft XT project is focused on:
Verisoft XT is the successor project of Verisoft. It is planned over three years and approved by the BMBF (period of validity: 01.07.2007—30.06.2010).
|Revision 20 May 2011||Copyright © 2007—2011 Verisoft XT Consortium.|