We'll cover:
*what assurance cases are,
*what GSN is,
*and a practical example of how to use it to build an argument for something, using Vexev's medical robot as a case study.
Geoff has a wealth of experience in formal methods for so I'd encourage you to attend in-person to get questions about your use case answered.
See you there!