System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera
-
36
-
- Write review
Overview
Class Central Tips
Syllabus
- Advanced modelling
- 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.
- Modelling guidelines
- In this lecture you see various modelling techniques that can be used to keep the state space of your models small.
Taught by
Jan Friso Groote
Tags
Related Courses
-
System Validation (3): Requirements by modal formulas
EIT Digital
-
System Validation: Automata and behavioural equivalences
EIT Digital
-
Software Engineering Essentials
Technische Universität München (Technical University of Munich)
3.5 -
Networks: Friends, Money, and Bytes
Princeton University
3.7 -
Machine Learning: Regression
University of Washington
4.6 -
Cisco Networking Basics
Cisco
5.0
Reviews
0.0 rating, based on 0 reviews