Evolution of Formal Model-based Assurance Cases for Autonomous Robots: Supplemental Material

This report contains supplemental material for the paper Evolution of Formal Model-based Assurance Cases for Autonomous Robots accepted at Software Engineering and Formal Methods 2019 in Oslo. This material provides more details about the two discussed assurance case patterns, their implementation in Isabelle/SACM the instantiation of these patterns for the presented example, as well as Isabelle skripts for the theoretical part and the example.