Robot

Development of a B specification of a Robot moving around a simple Maze, using the B tools Atelier B & ProB.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
AtelierB_typecheck_editorwindow.PNG		AtelierB_typecheck_editorwindow.PNG
Maze.dot		Maze.dot
Maze.mch		Maze.mch
Maze.prob		Maze.prob
ProBHistoryAnimationGraph.png		ProBHistoryAnimationGraph.png
ProB_EV_1.PNG		ProB_EV_1.PNG
ProB_EV_2_Properties.PNG		ProB_EV_2_Properties.PNG
ProB_EV_3_Properties.PNG		ProB_EV_3_Properties.PNG
ProB_EV_4_Operations.PNG		ProB_EV_4_Operations.PNG
ProB_EV_5_Operations.PNG		ProB_EV_5_Operations.PNG
ProB_EV_6_Operations.PNG		ProB_EV_6_Operations.PNG
ProB_EV_7_Operations.PNG		ProB_EV_7_Operations.PNG
ProB_EV_8_Operations.PNG		ProB_EV_8_Operations.PNG
ProB_EvalPNG.PNG		ProB_EvalPNG.PNG
ProB_animation.PNG		ProB_animation.PNG
ProB_initialisation.PNG		ProB_initialisation.PNG
Prob_Random_Animation.PNG		Prob_Random_Animation.PNG
README.md		README.md
Robot.dot		Robot.dot
Robot.mch		Robot.mch
Robot.prob		Robot.prob
StateGraph-EntranceToExit.png		StateGraph-EntranceToExit.png
StateGraphRobot.dot		StateGraphRobot.dot
StateGraphWithAllOperations.png		StateGraphWithAllOperations.png

Provide feedback