verifying cyber-physical systems

Welcome to cpsbooksite!

Launched this website to host supplementary materials for the book.

Next

Course wiki at Illinois

Launched [wiki page](https://wiki.illinois.edu/wiki/pages/viewpage.action?pageId=642598908) for the Fall 2019 offering of the CPS verification course at University of Illinois at Urbana-Champaign. This...

This project is maintained by sayanmitracode