Model Checking
Understand the different techniques, and tools used in the model-checking process with the Model Checking training course
Online
12 Weeks
Free Quick Facts
| Medium Of Instructions | Mode Of Learning | Mode Of Delivery |
|---|---|---|
| English | Self Study | Video and Text Based |
Course Overview
The Model Checking certification course is a 12-week elective programme that is entirely online. This course is the responsibility of the Chennai Mathematical Institute professor Srivathsan. Swayam, IIT Madras and NPTEL have jointly taken up responsibility along with the institute to offer a certificate jointly.
Over the years the use of safety-critical systems including embedded software that is dealt with in regular life has increased. Hence this online Model Checking training course is a great introduction to learning the tools that are required for model-checking. Model checking is nothing but a research field that looks after the challenge of making use of models in controller verification. Ultimately the main aim of the course is to give the students a look at the system which is used mainly for finite-state machine extensions.
The Highlights
- 12 weeks course duration
- Online programme
- Undergraduate level course
- Elective programme
Programme Offerings
- online mode
- Case Studies
- 3 Credit Points
Courses and Certificate Fees
| Fees Informations | Certificate Availability | Certificate Providing Authority |
|---|---|---|
| INR 1000 | yes | IIT Madras (IITM) |
The Model Checking certification fee learning fee is free. In the scenario where certification is needed by the students, they shall have to deposit an exam fee of Rs. 1000.
Model Checking Fee Structure
Description | Amount in INR |
Certification Exam Fee (Optional) | Rs. 1000 |
Eligibility Criteria
Academic Qualifications
People with little knowledge of finite-state machines, and basic algorithms may start to understand the course.
Certification Qualifying Details
The learners will get the Model Checking certification by Swayam, NPTEL and IIT Madras after they fulfil all the criteria.
What you will learn
The Model Checking certification syllabus will be teaching the concepts in the process involved in model checking.
Who it is for
The Model Checking training is perfect for people like engineers who are interested in different methods of model-checking.
Admission Details
To get enrolled in Model Checking classes, go through these steps:
Step 1 - Go through the official URL:https://onlinecourses.nptel.ac.in/noc22_cs25/preview.
Step 2 - For admissions signing up is required.
Step 3 - Learning can start on Swayam as soon as step 2 is completed.
The Syllabus
Evaluation process
The Model Checking certification requires an exam to be attended in the proctored centre decided by Swayam. The total passing score to be obtained is 75% out of 100. Also, the average assignment score that needs to be attained includes 25% marks in at least 8 of the 12 assignments.
Instructors
CMI Chennai Frequently Asked Questions (FAQ's)
The name of the instructor is Srivathsan.B.
Nothing except some idea in basic algorithms and finite-state machines will be preferable.
12 weeks of studying is necessary to complete the online programme.
Yes, the final score breakup is shown on the final certificate.
No, only e-copies shall be shared in the email addresses instead of the hard copies.