B specification of a very simple version of the old Spaceship & Asteroids arcade game, using the B tools: Atelier B & ProB.
Uses the following machines:
Features a graphical view, which uses an animation function. Images used by the animation function are in this directory.
Implemented for the coursework of the module: Reasoning About Programs (6SENG001W) in 2018, at Informatics Institute of Technology (IIT), Sri Lanka, in collaboration with University of Westminster.
Author: Senthuran Ambalavanar (github.com/senthuran16)