Repositories list

• S2OPC

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

  securityopc-uasafety-critical+ 1b-method

  C

  •

  Apache License 2.0

  •3•18•0•0•Updated Feb 14, 2025Feb 14, 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.

  eclipse-ideformal-methodsevent-b

  Java

  •1•5•0•0•Updated Jan 9, 2025Jan 9, 2025