Fundamentals of Model Checking

Fundamentals of Model Checking Specialization — 3 credits

Instructor: Hao Zheng

• ECEA 5900 Introduction to Modeling for Formal Verification (1 credit)
• ECEA 5901 Temporal Logic Model Checking (1 credit)
• ECEA 5902 Model Checking with SAT and SMT (1 credit)