ECE/CS 584: Embedded & Cyberphysical System Verification
Problem sets
There will be 4-5 problems sets for you to solve individually.
The problems will involve writing proofs by hand and creating
proofs using machines (software). Submissions will be via Gradescope.
Homework 1 (pdf) Released 8/29, due 9/12 12 am CT.
Homework 2 (pdf) Released 9/16, due (Sunday) 9/28 12 am CT.
Homework 3 (pdf) Released 9/28, due (Sunday) 10/12 12 am CT.
Homework 4 (pdf) Released 11/23, due (Sunday) 10/26 12 am CT.
