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


In 2007, the IATAC (Information Assurance Technology Analysis Center) and DACS (Data and Analysis Center for Software) conjointly produced a comprehensive 400 pages state-of-the-art report on software security assurance (IATAC / DACS, 2007). The report recalls three tenants of secure systems: (a) the ability to resist a majority of attacks, (b) the weathering of un-resisted attacks, and (c) the quick recovery from attacks. This project targets the foremost line of defense (a). The objective of STANCE is to provide a source code analysis toolbox to help verify that software systems are immune to specific categories of attacks.