Extra problems
Extra problems
Chapter 2
- Extra problems on modeling computation, semantics, and inductive invariant .pdf .tex
- Code for checking invariant properties with Z3 SMT solver DijkstraTRind.py [Solution]
This project is maintained by sayanmitracode