Between Testing and Formal Verification - Jan Tobias Muehlberg

Name: Between Testing and Formal Verification - Jan Tobias Muehlberg
Uploaded: 2017-01-01
Duration: 54 min 2 s
Description: Between Testing and Formal Verification - Jan Tobias Muehlberg — a 2017 SecAppDev 2017 security conference talk on vuln-research (54:02 min). Watch the full video, indexed free on the Breach Arc Archive.

SecAppDev 2017 · 2017 · 54:02 · Jan Tobias Muehlberg

▶

Between Testing and Formal Verification - Jan Tobias Muehlberg — a 2017 SecAppDev 2017 security conference talk on vuln-research (54:02 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

vuln-research

← Back to the Breach Arc Archive