Rossi

Pinned Loading

1. rossi rossi Public

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

   Rust 7 2

2. awesome-event-b awesome-event-b Public

   A curated list of awesome resources for the Event-B formal method.

   2

3. rodin-headless rodin-headless Public

   Headless toolchain to build, model-check and prove Rodin Event-B models from the command line — native or via Docker

   Shell

4. 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 1

5. eventb-skill eventb-skill Public

   Agent Skill for writing, validating, and model-checking Event-B formal models with rossi and ProB.

   Python 1

6. eventb-project-template eventb-project-template Public template

   Template repository for text-first Event-B projects — Rossi validation, ProB model checking, Rodin round-tripping, vendored agent skill and CI out of the box

   Makefile