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
• The LLVM open-source project, developing the front-end Clang used to build the C++ front end, was consulted for advice and for internal aspects of the tool.
• New project proposals queried detailed technical information on the content and planning of STANCE to reuse the future results of STANCE and build on them. These proposals belong to the French ANR, and BGLE programmes or to the European ARTEMIS, ITEA 2 and FP7 programmes.
• Future users of the C++ toolkit queried for the status of current developments within STANCE. These users are eager to analyze C++ code in the same manner as the C code is analyzed today.
• Several projects of CEA-LIST build on the same tools as STANCE and also have partners in common with STANCE. Thus, it is essential to collaborate and cross-fertilize with them, to share and improve the same tools and security-critical applications. An example is the ITEA 2 project OpenETCS aiming at building open-source tools and methodologies for the development of control-command systems compliant with the ETCS standard.