The kindle version of the book is now available from amazon! Available from Amazon. This site is also updated with links to other courses using this book, and handwritten lecture...
The book is now published! Available from Amazon, Barnes and Noble, and Penguin.
Launched wiki page for the Fall 2019 offering of the CPS verification course at University of Illinois at Urbana-Champaign. This wiki site has a sample schedule, pointers to resources like...
Launched this website to host supplementary materials for the book.
This project is maintained by sayanmitracode