On July 1st 2007 the Verisoft XT project has been launched. Verisoft XT will be supported by a grant of about 12 million Euro for the next three years.

Further Information:

Verisoft is a long-term 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 project is focused on:

  • The creation of methods and tools which would allow the pervasive formal verification of the design of integrated computer systems.
  • An increase in industrial productivity and quality.
  • The prototypical realization of four concrete application tasks, three of which are from the industrial sector.

Verisoft and its successor project Verisoft XT are planned over seven years and approved by the BMBF (periods of validity: 01.07.2003–30.06.2007 and 01.07.2007–30.06.2010).

Revision 09 Jul 2007