What is Safety Critical Software, and How Can Ada and SPARK Help

Name: What is Safety Critical Software, and How Can Ada and SPARK Help
Uploaded: 2019-01-01
Duration: 25 min 39 s
Description: What is Safety Critical Software, and How Can Ada and SPARK Help — a 2019 FOSDEM 2019 security conference talk (25:39 min). Watch the full video, indexed free on the Breach Arc Archive.

FOSDEM 2019 · 2019 · 25:39

▶

What is Safety Critical Software, and How Can Ada and SPARK Help — a 2019 FOSDEM 2019 security conference talk (25:39 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive