This was a really good course. The professor is good as well. I would certainly recommend that people take this course.
System Validation: Automata and behavioural equivalences
System Validation: Automata and behavioural equivalences
Instructor: Jan Friso Groote
Access provided by Indian Institute of Technology Delhi
11,854 already enrolled
183 reviews
Intermediate level
Some related experience required
Flexible schedule
Learn at your own pace
What you'll learn
Understand how to model system behaviour using automata
Analyze and compare system behaviors using equivalence concepts
Apply formal methods to verify system correctness
Simplify and improve system design through abstraction
Skills you'll gain
Tools you'll learn
Details to know
Taught in English
See how employees at top companies are mastering in-demand skills
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."
Learner reviews
- 5 stars
65.57%
- 4 stars
18.57%
- 3 stars
10.92%
- 2 stars
3.27%
- 1 star
1.63%
Showing 3 of 183
ML
5.0
Reviewed on Jul 29, 2020
PT
5.0
Reviewed on May 14, 2017
Thanks! Very well done for an introductory course.
ED
4.0
Reviewed on Dec 4, 2017
A very good introduction for model checking. I had some knownledge and it was very good refresh.