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.Read More
EU-Funded Cybersecurity and Privacy investment shortening the gap from research to innovation
Over 40 top tech, EU funded, trust and security projects with focused research activities in hot topical areas such as mobile devices technologies and tools, cloud security, cryptography and trustworthy network and services infrastructures being showcased live at a major EU Innovation forum, where over 500 cyber security and privacy experts, project leaders, industry, academics and visionaries also pooling their knowledge to create a safer and more secure ICT environment.
Among other exhibitors, the STANCE project poster has been displayed throughout all the conference (click here to view the poster)Find out more
Raise awareness of source code analysis tools for high-dependability industrial validation (with the participation of F. KIRCHNER from CEA)
Increased interests in the availability of C++ front-end (with the collaboration of CEA and Fraunhofer)
Dissemination of source code analysis techniques for e-government cyber-security (with the participation of F. KIRCHNER from CEA)
FP7 projects presentation (with the participation of A. PUCCETTI from CEA)
Publicize STANCE-based formal methods techniques as an industrial emerging trend (with the participation of F. KIRCHNER from CEA)