• Duration:

Verisoft is a long-term research project funded by the Federal Ministry of Education and Research (bmb+f). Project administrating organization is the german centre for Air- and Space Technology (DLR). The main goal of the project is the pervasive formal verification of computer systems. The correct functionality of systems, as they are applied, for example, in automotive engineering, in security technology and in the sector of medical technology, are to be mathematically proved.

The proofs are computer aided in order to prevent human error conducted 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 spheres mentioned above.

Verisoft?s project is focused on: - The creation of methods and tools which would allow the pervasive formal verification of the design of intergrated 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 is planned over eight years, the first four of which are theoretically formulated and concretised. The first four years are presently approved by bmb+f (period of validity: 01.07.2003 - 30.06.2007).


BMBF - Federal Ministry of Education and Research

BMBF - Federal Ministry of Education and Research

Share project:


Publications about the project

Mark Hillebrand; Sergey Tverdyshev

In: Anna Frid; Andrey Morozov; Andrey Rybalchenko; Klaus W. Wagner (Hrsg.). Computer Science -- Theory and Applications. International Computer Science Symposium in Russia (CSR-09), Fourth, August 18-23, Novosibirsk, Russian Federation, Pages 322-333, Lecture Notes in Computer Science (LNCS), Vol. 5675, Springer, 8/2009.

To the publication

Eyad Alkassar; Mark Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin; Alexandra Tsyban

In: Journal of Automated Reasoning (JAR), Vol. 42, No. 2-4, Pages 389-454, Springer, 2/2009.

To the publication

Dirk Leinenbach; Elena Petrova

In: Ralf Huuck; Gerwin Klein; Bastian Schlich (Hrsg.). Proceedings of the 3rd International Workshop on Systems Software Verification. International Workshop on Systems Software Verification (SSV-08), 3rd, February 25-27, Sydney, NSW, Australia, Pages 23-40, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 217, Elsevier Science B. V. 2008.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz