A Concept for Multi-Phase Incremental Formal Verification in Robotic Guided Surgery

This work-in-progress paper outlines the concepts of an approach for the formal verification of robotic guided surgery interventions at three different stages of the procedure. The central idea is that complex modelling and verification tasks are performed preclinically during component design yielding simpler safety conditions that can be checked more efficiently shortly before or during the intervention. A simplified example is presented to illustrate this central idea.