Rossi · GitHub
Skip to content
@eventb-rossi

Rossi

Event-B tooling

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

Repositories

Showing 10 of 13 repositories

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…