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.
Temporal Logic Model Checking
Temporal Logic Model Checking
This course is part of Fundamentals of Model Checking Specialization
Instructor: Hao Zheng
Access provided by KL University
Gain insight into a topic and learn the fundamentals.
Beginner level
Recommended experience
5 weeks to complete
at 10 hours a week
Flexible schedule
Learn at your own pace
What you'll learn
Identify linear time behavior and specify linear time properties using linear time logic (LTL)
Describe basic concepts of LTL model checking
Specify properties using computation tree logic (CTL)
Describe basic concepts of CTL model checking and its symbolic version
Details to know
Shareable certificate
Add to your LinkedIn profile
Assessments
11 assignments
Taught in English
See how employees at top companies are mastering in-demand skills
Build your subject-matter expertise
This course is part of the Fundamentals of Model Checking Specialization
When you enroll in this course, you'll also be enrolled in this Specialization.
- Learn new concepts from industry experts
- Gain a foundational understanding of a subject or tool
- Develop job-relevant skills with hands-on projects
- Earn a shareable career certificate
There are 4 modules in this course
Earn a career certificate
Add this credential to your LinkedIn profile, resume, or CV. Share it on social media and in your performance review.
Instructor
Offered by
Why people choose Coursera for their career
Felipe M.
Learner since 2018
"To be able to take courses at my own pace and rhythm has been an amazing experience. I can learn whenever it fits my schedule and mood."
Jennifer J.
Learner since 2020
"I directly applied the concepts and skills I learned from my courses to an exciting new project at work."
Larry W.
Learner since 2021
"When I need courses on topics that my university doesn't offer, Coursera is one of the best places to go."
Chaitanya A.
"Learning isn't just about being better at your job: it's so much more than that. Coursera allows me to learn without limits."
Explore more from Computer Science
University of Colorado Boulder
University of Colorado Boulder
28DIGITAL
