8000 event-b · GitHub Topics · GitHub

More Web Proxy on the site http://driver.im/

#

event-b

Here are 2 public repositories matching this topic...

pkoerner / lisb

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

Updated Apr 2, 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 event-b 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 event-b topic, visit your repo's landing page and select "manage topics."

0