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.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.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.Read more