https://github.com/senthuran16/spaceship-and-asteroids-b-specification

B specification of a very simple version of the old Spaceship & Asteroids arcade game, using Atelier B & ProB.
https://github.com/senthuran16/spaceship-and-asteroids-b-specification

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

Last synced: 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/senthuran16/spaceship-and-asteroids-b-specification
• Owner: senthuran16
• Created: 2020-11-13T17:31:34.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2020-11-14T13:58:25.000Z (over 4 years ago)
• Last Synced: 2025-01-01T07:25:20.949Z (4 months ago)
• Topics: asteroids, asteroids-game, atelier-b, b-language, game, maze, pro-b, reasoning, spaceship
• Language: Nextflow
• Homepage:
• Size: 203 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Spaceship & Asteroids arcade game - B specification

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:

* [`Space`](reasoning_cw/reasoning_cw/Space.mch)

* [`SpaceShip`](reasoning_cw/reasoning_cw/SpaceShip.mch)

Features a graphical view, which uses an animation function. Images used by the animation function are in [this](reasoning_cw/reasoning_cw/images) directory.

![Graphical view](./graphical-view.png)

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](https://github.com/senthuran16))