Introduction to Modeling for Formal Verification
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 Introduction to Modeling for Formal Verification cost?
Visit the Introduction to Modeling for Formal Verification course page for current pricing and available discounts.
Who teaches Introduction to Modeling for Formal Verification?
Introduction to Modeling for Formal Verification is taught by Hao Zheng, University of Colorado Boulder.
What skill level is Introduction to Modeling for Formal Verification for?
This course is designed for beginner learners.