Home » Computer Science » Free Online Course on Quantitative Model Checking

Free Online Course on Quantitative Model Checking

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.

Sending
User Review
0 (0 votes)

Course At Glance

Length:  5 weeks of study
Effort: Each with around 2.h hours work
Subject: Computer Science
Institution: EIT Digital and Coursera
Languages: English
Price: Free
Certificate Available: Yes
Session: Course starts on December 11, 2017

Providers’ Details

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.

About This Course

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.

Learning Outcomes

The main focus of this course is on quantitative model checking for Markov chains, for which we will discuss efficient computational algorithms. The learning objectives of this course are as follows:

  • 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.

Requirements

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.

Instructors

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

Apply Now