#

b-method

Here are 2 public repositories matching this topic...

pkoerner / lisb

tooling dsl formal-methods model-transformations embedding event-b b-method

Updated Sep 23, 2025
Clojure

pkoerner / eventb2b

Uses lisb to transform an Event-B machine to a B machine. Very experimental.

translation formal-methods event-b b-method

Updated Jan 9, 2025
Clojure

Improve this page

Add a description, image, and links to the b-method topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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