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

Contact Us

If you think Frama-C could be part of any kind of scientific collaboration, including research projects, internships, PhDs, post-doctoral positions and dissemination activities, please contact thibaud.antignac(at)cea.fr or loic.correnson(at)cea.fr.

Useful links

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).
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).
Twitter
@frama-c

Newest Frama-C Questions & Answers on Stack Overflow

Find us

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