Structural Abstraction and Selective Refinement for Formal Verification

Christoph Luckeneder, Ralph Hoch, Hermann Kaindl

Safety verification of robot applications is extremely challenging due to the complexity of the environment that a robot typically operates in. Formal verification with model-check…