T
ikhon
J
elvis
Blog
Projects
Talks
About
Analyzing Programs with Z3
I gave a talk at Compose 2016 about bounded verification with Z3 in Haskell.
slides
video
code
papers, links, etc
program synthesis class
Presenting the talk, hosted by JP Morgan in Brooklyn.