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
- The Jupyter notebook is
- You will need to install Z3:
pip install z3-solver
The talk is based on this blog post.