Automatic Beverage Dispenser

This repo will contain a implementation in C of an automatic beverage dispenser. All functions will be proven through b-method design.

B-Method Course

This work was undertaken through a course on B method

How to run in Atelier B

Atelier B is a really badly designed software.

1. Download AtelierB : http://www.atelierb.eu/en/download/
2. Download or Clone repo : git clone https://github.com/Japillow/B-method-Project.git
3. Open Atelier B
4. Create New Workspace
5. Create New Project
6. For each .mch machine in ./B-method-Project/project/Distributeur, create a new machine and copy-paste the text content in the file opened in Atelier B Once you modify the file and wish to commit, copy-paste the machines in your project in the ./B-method-Project/project/Distributeur/, git add, commit and push.