Fall 2021: Automated Formal Verification of Hardware and Software

Fall 2021: Automated Formal Verification of Hardware and Software

Course No:
EECS 498/598
Credit Hours:
4 credits
Instructor:
Yatin Manerkar
Prerequisites:
EECS 203 and EECS 281 or grad standing

This course teaches students about a variety of automated formal verification techniques as well as how to apply such techniques to the verification of hardware and software systems. The course material will equip students to be capable of utilising formal verification tools in the field, and also forms a foundational understanding on top of which they can conduct formal verification research. A substantial component of the course grade will be a final research project (conducted in teams of 2 or 3 students), in which you are expected to conduct original research in formal verification. A list of project ideas will be provided by the instructor; students may also propose their own project ideas, subject to instructor approval.

More info