Tags:Model checking, Simulation, State machine, Theorem proving and Verification
Abstract:
We propose to demonstrate the application of RoboChart and its associated tool, RoboTool, for the verification and validation of robotic applications. In our demonstration, we will consider a few small examples for illustration, and the larger example of a transporter. It is part of a swarm and cooperates with other identical robots to push an object to a target location.
RoboTool: Modelling and Verification with RoboChart