Latest news

Stance Press Release


07/09/2016: Please click here to read the press release!

Read More

Frama-C Day 2016


In a society driven by information technologies and communication, the safety and security of software have become crucial challenges. Frama-C is a software analysis platform that enables the design, implementation, and dissemination of formal verification solutions.

Speakers at the Frama-C Day will demonstrate and discuss innovative approaches to software analysis, from both academic and industrial points of views.

In addition to invited presentations, this will be a space for community discussions, updates on new developments, and upcoming projects.

Click here for more details

Read More


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