Popular repositories Loading

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

   Event-B to txt converter

   Python 6

2. rbac-model rbac-model Public

   First level of the Event-B specification of the HIMACF model (with role-based access control)

   3 1

3. Rossi Rossi Public

   Rust toolchain for Event-B. Command line inter-op with Rodin.

   Rust 3 2

4. homebrew-tap homebrew-tap Public

   Homebrew for Event-B/Rodin tools

   Ruby 1

5. eventb-animate eventb-animate Public

   Simple tool to randomly animate Event-B models. Based on ProB.

   Java

6. eventb-checker eventb-checker Public

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

   Kotlin