Analyzing Programs with Z3

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

Presenting the talk, hosted by JP Morgan in Brooklyn.
Creative Commons License