pro-b

Here are 5 public repositories matching this topic...

B specification of a very simple version of the old Spaceship & Asteroids arcade game, using the B tools Atelier B & ProB.

asteroids-game b-lang atelier-b pro-b

B specification for a simplified version of the classic Spaceship & Asteroids arcade game, utilizing the B tools Atelier B and ProB.

arcade-game formal-methods asteroids-game atelier-b pro-b b-language

B specification of a very simple version of the old Spaceship & Asteroids arcade game, using Atelier B & ProB.

game maze asteroids asteroids-game spaceship reasoning atelier-b pro-b b-language

B-specification machines mimicking a Robot through its journey in a Maze

graphwiz atelier-b pro-b b-specification structure-diagram

Developing a B Specification of the Spaceship and Asteroids System using Atelier B & Pro B.

formal-methods atelier-b pro-b b-specification

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

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