Register
Register
Register

ExpertiseUpdated on 19 May 2025

Frama-C

Armand Puccetti

Research Engineer at CEA

Gif sur Yvette, France

About

Frama-C is an open-source extensible and collaborative platform dedicated to source-code analysis of C software. The Frama-C analyzers assist in various source-code-related activities, from the navigation through unfamiliar projects up to the certification of critical software. See

https://www.frama-c.com/

Organisation

CEA

Research organisation

Paris, France

Similar opportunities