-
Notifications
You must be signed in to change notification settings - Fork 0
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.
Rehan1995/Spaceship-Game
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
About
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.
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published