/Robot-Maze-B-Machine

B-specification of a Robot moving around a simple Maze, using the B tools (Atelier B & ProB)

Watchers