Developed a B specification of a Robot moving around a simple Maze, using the B tools Atelier B & ProB.
sanjulavj / robot-maze Goto Github PK
View Code? Open in Web Editor NEWDeveloped a B specification of a Robot moving around a simple Maze, using the B tools Atelier B & ProB.