Course Name: Model Checking

Course abstract

Embedded software control many of the safety-critical systems that we deal with in everyday life: for instance, modern cars are equipped with software to automatically change gears; pacemakers come with a software controller to regulate heart beat; aircrafts have flight control software, and so on. Typically, these (software) controllers have to make decisions based on inputs coming from multiple interacting components. As the size and the number of interacting components increase, the design and verification of controllers becomes increasingly complex. Model checking is a field of research that addresses this challenge by making use of mathematical models in the design and verification of controllers. The main idea is to look at the system as a mathematical model - commonly used models are extensions of finite-state machines. Design requirements on the controller then get translated to suitable questions on these mathematical models.The goal of this course is to understand some of the techniques and tools used in the process of model-checking.

Course Instructor

Media Object

Prof. B.Srivathsan

B. Srivathsan obtained his B. Tech and M. Tech (CSE) from IIT Bombay; and Ph.D from the University of Bordeaux, France. He worked as a post-doctoral researcher at RWTH university - Aachen, Germany. He has been a faculty member at CMI since 2013. His main research interest is in the formal verification of real-time systems.

More info

Teaching Assistant(s)

No teaching assistant data available for this course yet
 Course Duration : Jan-Apr 2020

  View Course


 Enrollment : 18-Nov-2019 to 03-Feb-2020

 Exam registration : 16-Dec-2019 to 20-Mar-2020

 Exam Date : 25-Apr-2020




Certificate Eligible

Will be announced

Certified Category Count


Will be announced


Will be announced

Successfully completed

Will be announced


Will be announced





Final Score Calculation Logic

Toppers list will be updated shortly....!

Enrollment Statistics

Total Enrollment: 448

Registration Statistics

Total Registration : 20

Assignment Statistics

Assignment Score

Graph will be updated shortly...!

Score Distribution Graph - Legend

Assignment Score: Distribution of average scores garnered by students per assignment.
Exam Score : Distribution of the final exam score of students.
Final Score : Distribution of the combined score of assignments and final exam, based on the score logic.