Frama-C is a source code analysis platform that leverages approaches such as abstract interpretation, deductive verification, and constraint solving whose common characteristic is to rely on formal methods that ensure their results are rigorously correct.
Rooted in an open-source community, this platform is not only a testing ground for various approaches at the service of a variety of users but also a tool that allows combining these different approaches to reach ambitious validation objectives. These analyses are particularly suited to software for which operating safety, or security in the face of malicious behaviours, is crucial.
Part of CEA Tech, the technological research division of CEA, the LIST Institute carries out research on digital systems. Its R&D programs are focused, amongst others, on advanced manufacturing, embedded systems and ambient intelligence.
In Hall 4, CEA LIST will demonstrate Papyrus, Frama-C and Unisim, three open source platforms providing industrial, cutting-edge solutions for the conceptualization, design, verification and validation and co-simulation of software-intensive systems.
You will also find us in Hall 4A, stand 437, where we will demonstrate neural network and some of its innovative applications.