EIT Digital is offering free online vourse on Quantitative Model Checking. This course is meant for Master students in Computer Science, Electrical Engineering and Embedded Systems as a specialisation in the area of formal models and methods.
The main focus of this course is on quantitative model checking for Markov chains, for which we will discuss efficient computational algorithms. The course will start on December 11, 2017.
Course At Glance
Effort: Each with around 2.h hours work
Subject: Computer Science
Institution: EIT Digital and Coursera
Certificate Available: Yes
Session: Course starts on December 11, 2017
EIT Digital is a pan-European education and research-based open innovation organization founded on excellence. Its mission is to foster digital technology innovation and entrepreneurial talent for economic growth and quality of life. By linking education, research and business, EIT Digital empowers digital top talents for the future.
The integration of ICT (information and communications technology) in different applications is rapidly increasing in e.g. Embedded and Cyber physical systems, Communication protocols and Transportation systems. Hence, their reliability and dependability increasingly depends on software. Defects can be fatal and extremely costly (with regards to mass-production of products and safety-critical systems).
Why Take This Course?
This is a free online course. Applicants can get a verified certificate.
- Express dependability properties for different kinds of transition systems .
- Compute the evolution over time for Markov chains.
- Check whether single states satisfy a certain formula and compute the satisfaction set for properties.
This course is meant for Master students in Computer Science, Electrical Engineering and Embedded Systems as a specialisation in the area of formal models and methods. Note that as a consequence, quiz questions are more like exam questions where you have to construct the answer based on the principles that are taught in the web lectures, rather than to recall the literal text of the teacher.
Anne Remke, Prof. dr., Computer Science
How To Join This Course
- Go to the course website link
- Sign Up At Coursera
- Select a course and Join