Description
Learn the theory and practice of symbolic analysis, a method of fake-running your code that lets you discover bugs and verify functionality without actually executing code, using Z3 and Python!
https://2019.pycon-au.org/talks/lets-build-a-symbolic-analyser-and-automatically-find-bugs
Sun Aug 4 11:50:00 2019 at C3.6