I am happy to give an invited talk at the meeting of the subgroup Software of the ZVEI Zentralverband Elektrotechnik- und Elektronikindustrie e.V.
I’ll give a short introduction to STAMP/STPA and what we have done to support software verification and testing.