Frama-C
  • Using Frama C
  • Kernel & Plugins
  • Contact
  • Documentation
  • Blog
Contact

Contact Us

You are:

Type your message

8 Avenue de la Vauve, 91120 Palaiseau, France

Please Contact

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,

Florent.Kirchnera@cea.fr|Loic.Corrensona@cea.fr

Community

  • Bug Tracker
    The official Frama-C bug tracking system (BTS).
  • 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 Github
    Frama-C snapshots and related code bases (Qed, open source case studies...).
  • ACSL on Github
    Official Github repositories for the ANSI/ISO C Specification Language (ACSL).
  • Careers
    Reference site about Lorem Ipsum, giving information on its origins, as well as a random Lipsum generator.
Copyright © 2015-2018 Frama-C. All Rights Reserved.
  • Terms Of Use
  • Authors
© 2019 Frama-C. All Rights Reserved.