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
Enjoy unlimited growth with a year of Coursera Plus for $199 (regularly $399). Save now.
System Validation (4): Modelling Software, Protocols, and other behaviour
Instructor: Jan Friso Groote
4,767 already enrolled
Included with
Gain insight into a topic and learn the fundamentals.
4.6
(13 reviews)
Advanced level
Designed for those already in the industry
3 hours to complete
Flexible schedule
Learn at your own pace
Skills you'll gain
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
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
Explore more from Software Development
Status: PreviewUniversity of Leeds
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."
Frequently asked questions
To access the course materials, assignments and to earn a Certificate, you will need to purchase the Certificate experience when you enroll in a course. You can try a Free Trial instead, or apply for Financial Aid. The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
When you enroll in the course, you get access to all of the courses in the Specialization, and you earn a certificate when you complete the work. Your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile.
Yes. In select learning programs, you can apply for financial aid or a scholarship if you can’t afford the enrollment fee. If fin aid or scholarship is available for your learning program selection, you’ll find a link to apply on the description page.
More questions
Financial aid available,