Skip to main content


Communication channels

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