There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
This is a B specification of a very simple version of the old Spaceship & Asteroids arcade game, using the B tools Atelier B & ProB. The aim is to move the Spaceship from its home base(1,1) through space using the various movement operations to get to the Starbase (6,4), avoiding the Asteroids.
