mitras at illinois.edu
Office: CSL 226
ECE/CS 584: Embedded & Cyberphysical System Verification
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).
You may use the Latex source files provided below for writing
the solutions. If you do, you will also need this prelude1.tex file.