layout	title
page	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]