Popular repositories Loading

1. eventb-to-txt eventb-to-txt Public

   Convert Event-B machines and contexts (.bum/.buc) to CamilleX plain-text models

   Python 6

2. rossi rossi Public

   A Rust toolchain for Event-B: parser, static checker, CLI and Language Server (LSP) with Rodin round-tripping

   Rust 4 2

3. rbac-model rbac-model Public

   Public part of the Event-B specification of the HIMACF model (formerly MROSL DP-model) — role-based access control for OS security

   3 1

4. homebrew-tap homebrew-tap Public

   Homebrew tap for the Event-B / B-method ecosystem — Rodin, Atelier B, ProB2-UI, EventBTool

   Ruby 1

5. eventb-animate eventb-animate Public

   Command-line tool to animate Event-B models with ProB — random animation, invariant checking, trace replay (no Rodin required)

   Java

6. eventb-checker eventb-checker Public

   Command-line validator for Event-B models. Provides GitHub action.

   Kotlin