b-method

Here is 1 public repository matching this topic...

CLEARSY / CSSP-RIO-Early-Access

Remote I/O for the CLEARSY Safety Platform academic edition: a B application exchanges named 16-bit I/Os with external processes, well beyond the SK0 board's 3 digital inputs and 2 outputs. Windows, early access.

python windows education formal-methods industrial-automation safety-critical b-method remote-io atelier-b cssp clearsy clearsy-safety-platform

Updated Aug 13, 2026
Python

Improve this page

Add a description, image, and links to the b-method topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the b-method topic, visit your repo's landing page and select "manage topics."

Learn more