Model Checking
Worth knowing: Lectures are free. The certificate is optional and needs a proctored exam that costs ₹1,000.
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.
Available in: English
Last indexed by LearnPact Foundation on 25 September 2026. Course details, availability and pricing are owned by Chennai Mathematical Institute and may have changed since.
Know someone who needs this? Share it free.
Email me this course + free monthly picks
We'll send this course's link plus a roundup of new government-funded free courses each month. No spam.
It's free because giving away access to free courses is part of our affordability mission. We never sell your data.
Check your inbox 🎉
Your free shortlist is on its way.