36C3 2019 Getting software right with properties, generated tests, and proofs

Name: 36C3 2019 Getting software right with properties, generated tests, and proofs
Uploaded: 2019-01-01
Duration: 1 h 2 min 48 s
Description: 36C3 2019 Getting software right with properties, generated tests, and proofs — a 2019 All Hacking Cons (community re-uploads) security conference talk (1:02:48 min). Watch the full video, indexed free on the Breach Arc Archive.

All Hacking Cons (community re-uploads) · 2019 · 1:02:48

▶

36C3 2019 Getting software right with properties, generated tests, and proofs — a 2019 All Hacking Cons (community re-uploads) security conference talk (1:02:48 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive