Winter 2024: Introduction to Model Checking

Winter 2024: Introduction to Model Checking

Course No:

EECS 498-018 / EECS 598-018

Credit Hours:

4 credits

Instructor:

Ali Movaghar

Prerequisites:

EECS 281 or EECS 403 or graduate standing

See link below for more information.

More info (pdf)