TechConnect Innovation Program

Frama-C

CEA Tech, Rhône-alpes, France

TECHNOLOGY SUMMARY

Frama-C is a suite of tools dedicated to the analysis of the source code of software. Frama-C gathers several source code analysis techniques in a single collaborative framework. It allows advanced analyzers to build upon the results already computed by other analyzers. Frama-C also provides software transformation tools.

Primary Application Area: Energy & Efficiency

Technology Development Status: Ready to Market

Technology Readiness Level: TRL 6

FIGURES OF MERIT

Value Proposition: Frama-C is a unique tool that integrates years of expertise in complex system analysis and software implementation. It is an open platform designed to integrate innovation and to take into account a diversity of application scenarios

SHOWCASE SUMMARY

Organization Type: Academic/Gov Lab

Showcase Booth #: 728

Website: http://www.cea.fr/english-portal/cea-tech

GOVT/EXTERNAL FUNDING SOURCES

Government Funding/Support to Date:

Primary Sources of Funding: Federal Grant

Looking for: Both Funding and Development Partners