The Automated Reasoning: Symbolic Model Checking course presents how the properties of acting systems and programs can be verified automatically. The basic notion is a transition system: any system that can be described by states and steps. We present how in CTL (computation tree logic) properties like reach-ability can be described.

Automated Reasoning: Symbolic Model Checking

Automated Reasoning: Symbolic Model Checking

Instructor: Hans Zantema
2,892 already enrolled
Included with
Gain insight into a topic and learn the fundamentals.
26 reviews
Intermediate level
Recommended experience
1 week to complete
at 10 hours a week
Flexible schedule
Learn at your own pace
Details to know

Shareable certificate
Add to your LinkedIn profile
Assessments
12 assignments
Taught in English
See how employees at top companies are mastering in-demand skills

There are 4 modules in this course
Instructor
Instructor ratings
(9 ratings)
Offered by
Explore more from Software Development
University of Colorado Boulder

28DIGITAL

28DIGITAL

University of Colorado Boulder
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."

Open new doors with Coursera Plus
Unlimited access to 10,000+ world-class courses, hands-on projects, and job-ready certificate programs - all included in your subscription
Advance your career with an online degree
Earn a degree from world-class universities - 100% online
Join over 3,400 global companies that choose Coursera for Business
Upskill your employees to excel in the digital economy

