FOSDEM 2022 - Expressing argumentation in a validatable way
Channel: Daniel Silverstone
Date: 12/02/2022

This is a recording of the talk I gave at FOSDEM 2022 in the Safety and Open Source devroom about automating validation of assertions in safety argumentation.  It introduces Subplot as a tool to make this work well.

For more information about Subplot, visit https://subplot.liw.fi/