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




Further Information :


Founded in 1425, with 41000 students, KU Leuven is the largest university in Belgium, offering 55 Bachelor's degree programmes and 133 Master's degree programmes. It is a research-intensive university, with 1000 faculty, 1000 postdocs, and 4500 PhD students; it ranks 58th in the Times Higher Education World University Rankings. It is located in the historical town of Leuven, 30km to the east of Brussels.

Role in the Project

KU Leuven will contribute research efforts to improve the state of the art in the formal verification of security properties of of C++ and Java programs; furthermore, it will develop a Java front-end to be used by CEA's Frama-C tool and KU Leuven's VeriFast tool, and it will integrate its Java front-end and CEA's C++ frontend into its VeriFast tool.

Key Personnel

Prof. Dr. Bart Jacobs (principal investigator). Started his tenure track assistant professorship at KU Leuven in 2010. Leads the VeriFast team in the iMinds-DistriNet research group of the Department of Computer Science that performs research into modular formal static verification of single-threaded and concurrent imperative and object-oriented programs.

Gijs Vanspauwen. Joined the VeriFast team as a PhD student in 2012 to work full-time on the STANCE project.