https://github.com/pkoerner/lisb

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

Last synced: 22 Oct 2025

https://github.com/dantasl/ruler-of-the-seas-game

Ruler of the Seas is a simulation of a competitive multiplayer table top game. This repository contains the Abstract Machines, Refinements and Implementation of the game.

b-method formal-methods formal-specification game tabletop-simulator

Last synced: 21 Jul 2025