Using clang as a Frontend on a Formal Verification Tool

Name: Using clang as a Frontend on a Formal Verification Tool
Uploaded: 2017-01-01
Duration: 27 min 39 s
Description: Using clang as a Frontend on a Formal Verification Tool — a 2017 FOSDEM 2017 security conference talk (27:39 min). Watch the full video, indexed free on the Breach Arc Archive.

FOSDEM 2017 · 2017 · 27:39

▶

Using clang as a Frontend on a Formal Verification Tool — a 2017 FOSDEM 2017 security conference talk (27:39 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive