Frama-C
  • Features
  • Documentation
  • Publications
  • Blog
  • Jobs
  • Contact
  • Download

Contact Us

Please contact allan.blanchard(at)cea.fr and loic.correnson(at)cea.fr if you are interested in:
  • Scientific collaboration, including research projects, internships, PhDs, post-doctoral positions, teaching, dissemination, ...
  • Commercial / Industrial usage/support. Frama-C is already LGPL, but can be dual-licensed for other uses.
    We also provide technical support, training, tutorial sessions, hackathons, extensions and customization, ...

Community

Gitlab Issues
The official Frama-C issues on its Gitlab (for bug reporting and feature requests).
Stack Overflow
The Frama-C community uses Stack Overflow for general-purpose questions.
Frama-C-discuss
The official Frama-C mailing list (announcements and general questions).
Mail archives
All mails sent to Frama-C-discuss since 2008.
Archives of the old Frama-C discuss list
Up until October 2020, mailing list was hosted by another provider, and moving the archives to the newer host took some time. In the interim, old archives could be found there.
Frama-C on Gitlab
Frama-C development repositories (including daily snapshots and related code bases, such as open source case studies).
ACSL on Github
Official Github repositories for the ANSI/ISO C Specification Language (ACSL).
Mastodon
@frama_c@fosstodon.org

Newest Frama-C Questions & Answers on Stack Overflow

Find us

Copyright © 2007-2025 Frama-C. All Rights Reserved.
  • Terms Of Use
  • Authors
  • Acknowledgements