Latest news

No news at this moment


Press Release

Commissariat à l’Energie Atomique, France

An Introduction to VeriFast for Java

Jochen Burghardt, Hans Werner Pohl

A Trusted Virtual Security Module

Ronald Toegl, Florian Reimair, Martin Pirker


Fraunhofer FOKUS

Fraunhofer FOKUS

Further Information :

About Fraunhofer FOKUS

Fraunhofer FOKUS develops solutions for the communication systems of tomorrow. As an independent research body the institute explores how communication networks will contribute to a more convenient and more secure living. Thus, the institute addresses important challenges in the society, including access to information, economic and sustainable use of resources, smart mobility and a modern governmental administration that is efficient as well as accessible from everywhere. Fraunhofer FOKUS is an important link between industry, governmental administration and the people.



Role in the Project

Fraunhofer FOKUS will, together with the other partners, define specification languages for C++ and Java. This will allow the formal description of functional and security properties for programs written in these languages. Fraunhofer FOKUS will also develop test cases for the verification tools developed by KU Leuven and CEA LIST.


Key Personnel

Jens Gerlach is Research Manager Verification in the Department for Quality Assurance of Embedded Systems (QUEST) at Fraunhofer FOKUS in Berlin.
His main interests are consulting and research in the field of static analysis of embedded software. Jens Gerlach has a Ph.D. from TU Berlin.