News

Latest news

No news at this moment

Publications

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

News

 

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

Read more

 

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

The project SECCORD - organiser of the Cybersecurity and Privacy Forum - has assembled and edited two overviews of Trust and Security projects in FP7. The handbook provides a comprehensive view of the European Commission's FP7 activities in the field of cybersecurity and online privacy.

Click here to download the document

Read more

 

What are the current trends in source code analysis? Who are the developers and practitioners of these new approaches to software safety and cybersecurity?

As part of the "open innovation Week", CEA LIST was delighted to invite people to attend the Frama-C Day on March 13th 2015 at Nano-Innov at the Paris-Saclay Campus. Various speakers have demonstrated and discussed innovative approaches to software analysis, from both academic and industrial points of views.

Click here for more details

Read more