#

b-method

Here are 2 public repositories matching this topic...

Japillow / B-method-Project

c b-method

Updated Apr 20, 2019
Nextflow

nujitha99 / ArcadeGame

B specification of a Spaceship & Asteroids Game, using the B tools Atelier B & ProB.

b b-method reasoning-machine

Updated Jan 22, 2022
Nextflow

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."