I'm giving a tutorial in a couple of days. Vids will be up later. https://github... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		philzook on Jan 31, 2021 \| parent \| context \| favorite \| on: Software Verification and Analysis Using Z3 I'm giving a tutorial in a couple of days. Vids will be up later. https://github.com/philzook58/z3_tutorial

philzook on Jan 31, 2021 [–]

These are other good resources:

- rise4fun https://rise4fun.com/z3/tutorialcontent/guide

- https://ericpony.github.io/z3py-tutorial/guide-examples.htm

- Programming Z3 -https://theory.stanford.edu/~nikolaj/programmingz3.html

- Nikolaj Bjorner's tutorial https://youtu.be/nGwyNmsxX6I

- Hakank's examples http://www.hakank.org/z3/

- Yurichev's book "SMT by Example" https://yurichev.com/writings/SAT_SMT_by_example.pdf

- http://hackage.haskell.org/package/sbv

- https://www.youtube.com/watch?v=ruNFcH-KibY Tikhon Jelvis - Analyzing Programs with Z3

- https://www.youtube.com/watch?v=rvPWDgJc0O4&ab_channel=ACMSI... - Nadia Polykarpova on Z3

- SAT SMT school https://sat-smt.in/

- Emina Torlak's course https://courses.cs.washington.edu/courses/cse507/19au/calend...

- Lindsey Kuper - SMT Solving and Solver-Aided Systems http://composition.al/CSE290Q-2019-09/

- http://www.sc-square.org/CSA/school/lectures.html

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact