Skip to content
@systerel

systerel

Critical software, RAMS and formal methods

Popular repositories Loading

  1. S2OPC S2OPC Public

    Mirror repository for open-source OPC-UA Toolkit designed with security and embedded devices in mind. Main repository is on gitlab:

    C 17 3

  2. RodinCore RodinCore Public

    Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the Event-B formal method and provides natural support for …

    Java 5 1

Repositories

Showing 2 of 2 repositories
  • S2OPC Public

    Mirror repository for open-source OPC-UA Toolkit designed with security and embedded devices in mind. Main repository is on gitlab:

    systerel/S2OPC’s past year of commit activity
    C 17 Apache-2.0 3 0 0 Updated Nov 28, 2024
  • RodinCore Public

    Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the Event-B formal method and provides natural support for refinement and mathematical proof.

    systerel/RodinCore’s past year of commit activity
    Java 5 1 0 0 Updated Jun 18, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…