Preview: Verification (Correctness & Debugging)

Name: Preview: Verification (Correctness & Debugging)
Duration: 17 min 34 s
Description: Preview: Verification (Correctness & Debugging) — a USENIX security conference talk (17:34 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 17:34

▶

Preview: Verification (Correctness & Debugging) — a USENIX security conference talk (17:34 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive