This repository includes the slides and code I used at the verification mentoring workshop (VMW 2019) in NYC.
- The slides are
vmw19.pdf
- The Jupyter notebook is
vmw19.ipynb
- You will need to install Z3:
pip install z3-solver
The talk is based on this blog post.