SMACK Software Verifier Introduction and Demonstration
Channel: smackers
Date: 2015-11-20

A narrated introduction and demonstration of the SMACK Software Verifier