Skip to main content


Social networks

Follow OpenCert and the AMASS Open Platform on:

View more videos on the youtube channel

Get in touch with the team

Learn about OpenCert, join the community, connect with other CHESS users, get support and service:

  • Forum: Consult the OpenCert forum and ask questions about the tool. This also the forum about CHESS and other Polarsys projects.
  • Polarsys Wiki: Wiki providing additional resources about OpenCert and Polarsys.
  • Report a bug: Bugzilla for bug reporting and enhancement requests.
  • Mailing-list: Subscribe to the developers mailing-list to be warned about technical announcements.
  • Polarsys project page: information about the project development.

Source Repositories

You can use the code from these repositories to experiment, test, build, create patches, issue pull requests, etc. This project uses Gerrit Code Review; please see contributing via Gerrit.



Back to the top