Analyzing Programs with Z3

I gave a talk at Compose 2016 about bounded verification with Z3 in Haskell.

Creative Commons License