Built using Atelier B, ProB and GraphWiz
By: Nuvin Godakanda Arachchi @ GitHub
B-specification machines mimicking a Robot through its journey in a Maze and the visualization dot file.
nuvinga/Maze-Robot
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Built using Atelier B, ProB and GraphWiz
By: Nuvin Godakanda Arachchi @ GitHub
B-specification machines mimicking a Robot through its journey in a Maze and the visualization dot file.