Defective and insecure computer systems in Europe still cause extreme finacial and ecomomical loss every year. The Verisoft XT project claims to remedy this fact by developing a quality seal "Verified in Germany". The Verisoft project is a long-term research project funded by the German Federal Ministry of Education and Research (BMBF).

It aims at verifying five concrete application tasks, one from academic and four from industrial background. The verification will be formal and pervasive, i.e., computer-aided verification tools will be used throughout all layers of abstractions. This way, human errors are excluded, full coverage is achieved, and the results are based on a well-known small set of assumptions.

Hence, the verified systems are of extreme quality as required in many industrial sectors, such as automotive engineering, security, and medical technology. Additionally, productivity is expected to increase, with all tools being specifically developed and enhanced for this task.

Sirrix AG decisively supports the project with their high-assurance security kernel Turaya.

.. to the Verisoft project website