This repository contains ongoing work to automate the following framework. The framework is presented in the paper titled "A Framework for Consistent Co-Verification of Robotic Systems by Simulation and Proof."
SimplePickPlace.mp4
We describe our framework through examples. We increase the complexity of these examples to demonstrate various aspects of the framework. All examples can be found in the Examples folder.
This example is introduced in "A Framework for Consistent Co-Verification of Robotic Systems by Simulation and Proof." We use it to describe the main features of our technique algorithms, by presenting the outputs of each translation step. The manual translation of this model through the framework is described in Examples/Framework.