verifying cyber-physical systems

Sevaral updates

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 notes.

This project is maintained by sayanmitracode