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
4,799 already enrolled
Included with
13 reviews
What you'll learn
Use formal methods to improve the correctness, reliability, and maintainability of embedded and communication systems.
Apply techniques to avoid state-space explosion through compositional and modular system design.
Analyze real communication protocols such as the Alternating Bit Protocol and Sliding Window Protocol
Understand linear process equations and how complex system behaviour can be reduced to analyzable normal forms.
Details to know

Add to your LinkedIn profile
2 assignments
See how employees at top companies are mastering in-demand skills

There are 2 modules in this course
Instructor

Offered by
Explore more from Software Development
Status: PreviewUniversity of Leeds
Why people choose Coursera for their career

Felipe M.

Jennifer J.

Larry W.

Chaitanya A.

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




