Temporal Logic Model Checking
By Coursera
on Coursera
· Technology
About This Course
This course introduces the basic concepts of functional verification and model checking, highlighting their importance in modern system designs. It explains different modeling formalisms for representing the behavior of hardware and software, which are either suitable for automated analysis or can represent data-dependent controls that are common in computing system designs. Additionally, it describes system compositions with respect to different communication models. This course can also be taken for academic credit as ECEA ####, part of CU Boulder’s Master of Science in Electrical Engineering.
Instructor
Hao Zheng
Frequently Asked Questions
How much does Temporal Logic Model Checking cost?
Visit the Temporal Logic Model Checking course page for current pricing and available discounts.
Who teaches Temporal Logic Model Checking ?
Temporal Logic Model Checking is taught by Hao Zheng, University of Colorado Boulder.
What skill level is Temporal Logic Model Checking for?
This course is designed for all levels learners.