Skip to content
Course Rockstar
Courses
Categories
Platforms
Instructors
About
Home
/
Home
/
Instructors
/
Hao Zheng
HZ
Hao Zheng
University of Colorado Boulder
3 courses
0 students
Teaches on
Coursera
Courses by Hao Zheng
Technology
Model Checking with SAT and SMT
Hao Zheng
(0)
Included with membership
Coursera
Technology
Introduction to Modeling for Formal Verification
Hao Zheng
(0)
Included with membership
Coursera
Technology
Temporal Logic Model Checking
Hao Zheng
(0)
Included with membership
Coursera