Rossi
Popular repositories Loading
-
eventb-to-txt
eventb-to-txt PublicConvert Event-B machines and contexts (.bum/.buc) to CamilleX plain-text models
Python 6
-
rbac-model
rbac-model PublicPublic part of the Event-B specification of the HIMACF model (formerly MROSL DP-model) — role-based access control for OS security
-
awesome-event-b
awesome-event-b PublicA curated list of awesome resources for the Event-B formal method.
-
homebrew-tap
homebrew-tap PublicHomebrew tap for the Event-B / B-method ecosystem — Rodin, Atelier B, ProB2-UI, EventBTool
Ruby 1
-
eventb-animate
eventb-animate PublicCommand-line tool to animate Event-B models with ProB — random animation, invariant checking, trace replay (no Rodin required)
Java
Repositories
- rossi Public
A Rust toolchain for Event-B: parser, static checker, CLI and Language Server (LSP) with Rodin round-tripping
- eventb-animate Public
Command-line tool to animate Event-B models with ProB — random animation, invariant checking, trace replay (no Rodin required)
- apt Public
APT repository (Debian/Ubuntu) for the Event-B / B-method ecosystem — Rodin, ProB, Atelier B and CLI tools
- homebrew-tap Public
Homebrew tap for the Event-B / B-method ecosystem — Rodin, Atelier B, ProB2-UI, EventBTool
- eventb-copr Public
Fedora COPR RPM packaging for the Event-B / B-method ecosystem — Rodin, Atelier B, ProB and CLI tools
- scoop-eventb Public
Scoop bucket (Windows) for the Event-B / B-method tool ecosystem — Rodin, ProB and CLI tools
- eventb-to-txt Public
Convert Event-B machines and contexts (.bum/.buc) to CamilleX plain-text models
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…