#

event-b

Here are 2 public repositories matching this topic...

eventb-rossi / eventb-to-txt

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

cli converter formal-methods rodin event-b eventb camille

Updated Oct 28, 2026
Python

eventb-rossi / eventb-skill

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

model-checking formal-methods prob formal-specification rodin event-b eventb rossi coding-agents agent-skills

Updated Nov 4, 2026
Python

Add this topic to your repo

To associate your repository with the event-b topic, visit your repo's landing page and select "manage topics."