System Validation is the field that studies the fundamentals of system communication and information processing. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do.
System Validation (4): Modelling Software, Protocols, and other behaviour
System Validation (4): Modelling Software, Protocols, and other behaviour
Instructor: Jan Friso Groote
Sponsored by Coursera Learning Team
4,646 already enrolled
Gain insight into a topic and learn the fundamentals.
4.6
(12 reviews)
Advanced level
Designed for those already in the industry
3 hours to complete
3 weeks at 1 hour a week
Flexible schedule
Learn at your own pace
Details to know
Shareable certificate
Add to your LinkedIn profile
Assessments
2 assignments
Taught in English
See how employees at top companies are mastering in-demand skills
Earn a career certificate
Add this credential to your LinkedIn profile, resume, or CV
Share it on social media and in your performance review
There are 2 modules in this course
We show how the behavior of simple programs and communication protocols can be modelled and analysed. Furthermore, we introduce the notion of a linear process: a simple normal form to which every behavior can be reduced. This normal form is the workhorse when it comes to the analysis of behavior.
What's included
8 videos1 reading1 assignment
In this lecture you see various modelling techniques that can be used to keep the state space of your models small.
What's included
5 videos1 assignment
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."
Recommended if you're interested in Computer Science
University of Colorado Boulder
The Hong Kong University of Science and Technology
The Open University
University of Colorado System
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