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 19 4

  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:

    C 19 Apache-2.0 4 0 0 Updated Apr 3, 2025
  • 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.

    Java 5 1 0 0 Updated Mar 12, 2025

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…