b-specification-spaceship-asteroids-game

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

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
bdp		bdp
lang		lang
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Space.mch		Space.mch
Spaceship.dot		Spaceship.dot
Spaceship.mch		Spaceship.mch
Spaceship.prob		Spaceship.prob

Provide feedback