Welcome to the EECS 762 blog. I will post information about projects, lectures and music here. Please check here often when projects are due as I will post late-breaking information including hints and corrections. Please see the course homepage for lecture topics, project postings and exam information as well as course administrative details.
To prepare for the course you should install Rocq and download the first two books, Logical Foundations and Programming Language Foundations, from the Software Foundations book series. We will start off with a quick review and jump quickly into IMP verification.
If you are not familiar with Rocq and IMP already, you can still be successful in the course. We will work together on projects in class early in the semester. This joint work will help you come up to speed quickly.