VMW 2019 talk by Aws Albarghouthi
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.