Foundations of Formal Methods and Cyber-Physical Systems (CS522)


Instructor:


Course material on Canvas

Course Description:



Textbooks:



Prerequisites:



Lectures:



University COVID-19 Requirements



Grading:

The course grade will be based on the following elements.

Topics:



Homework and Readings: