# Model Checking

- Institution: Chennai Mathematical Institute
- Department: Computer Science and Engineering
- Teacher: Prof. Srivathsan.B
- Level: Undergraduate
- Language: English
- Subjects: Computer science, Engineering
- Source: [NPTEL](https://nptel.ac.in/courses/106106136)
- Licence: [CC BY-NC-SA](https://nptel.ac.in/faq) (Non-commercial use only.)
- Syllabus: [at the source](https://nptel.ac.in/courses/106106136)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

## Lectures

1. [Course Overview](https://invisiblenetwork.ai/learn/nptel/106106136/7587d395a0d9) (Video)
2. [Module 1: Modeling code behaviour](https://invisiblenetwork.ai/learn/nptel/106106136/1a4bb0d3922d) (Video)
3. [Module 2: Modeling hardware circuits](https://invisiblenetwork.ai/learn/nptel/106106136/5578425b10fb) (Video)
4. [Module 3: Modeling data-dependent programs](https://invisiblenetwork.ai/learn/nptel/106106136/9f042670d802) (Video)
5. [Module 4: Modeling concurrent systems](https://invisiblenetwork.ai/learn/nptel/106106136/545a77c10f18) (Video)
6. [Summary](https://invisiblenetwork.ai/learn/nptel/106106136/7caf254d32d9) (Video)
7. [Module 1: Model checking tools](https://invisiblenetwork.ai/learn/nptel/106106136/66c4f0dd9104) (Video)
8. [Module 2: Simple models in NuSMV](https://invisiblenetwork.ai/learn/nptel/106106136/2e8982d9be0c) (Video)
9. [Module 3: Hardware verification using NuSMV](https://invisiblenetwork.ai/learn/nptel/106106136/cc207aae88a3) (Video)
10. [Module 4: Modeling concurrent systems in NuSMV](https://invisiblenetwork.ai/learn/nptel/106106136/1fd2a053026d) (Video)
11. [Summary.](https://invisiblenetwork.ai/learn/nptel/106106136/568c71501fd7) (Video)
12. [Module 1: A problem in concurrency](https://invisiblenetwork.ai/learn/nptel/106106136/5110f9d2b643) (Video)
13. [Module 2: What is a property?](https://invisiblenetwork.ai/learn/nptel/106106136/9b9d81adf01f) (Video)
14. [Module 3: Invariants](https://invisiblenetwork.ai/learn/nptel/106106136/ab25ebaeaa5b) (Video)
15. [Module 4: Safety properties](https://invisiblenetwork.ai/learn/nptel/106106136/23950e287d12) (Video)
16. [Module 5: Liveness properties](https://invisiblenetwork.ai/learn/nptel/106106136/40399eefb63e) (Video)
17. [Summary..](https://invisiblenetwork.ai/learn/nptel/106106136/c18f36510f3a) (Video)
18. [Module 1: Road map](https://invisiblenetwork.ai/learn/nptel/106106136/47b3d0f0a456) (Video)
19. [Module 2: A gentle introduction to automata](https://invisiblenetwork.ai/learn/nptel/106106136/e872ed665bef) (Video)
20. [Module 3: Simple properties of finite automata](https://invisiblenetwork.ai/learn/nptel/106106136/ee91cbe84d7c) (Video)
21. [Module 4: Safety properties described by automata](https://invisiblenetwork.ai/learn/nptel/106106136/3fdfd8ac6da5) (Video)
22. [Summary...](https://invisiblenetwork.ai/learn/nptel/106106136/8e48513a69a5) (Video)
23. [Module 1: Specifying properties](https://invisiblenetwork.ai/learn/nptel/106106136/19e4817bffc4) (Video)
24. [Module 2: Omega-regular expressions](https://invisiblenetwork.ai/learn/nptel/106106136/4167629be2df) (Video)
25. [Module 3: Bchi automata](https://invisiblenetwork.ai/learn/nptel/106106136/8b2d7595adf1) (Video)
26. [Module 4: Simple properties of Bchi automata](https://invisiblenetwork.ai/learn/nptel/106106136/219db18c5dc2) (Video)
27. [Summary....](https://invisiblenetwork.ai/learn/nptel/106106136/8328cdb58641) (Video)
28. [Module 1: Overview](https://invisiblenetwork.ai/learn/nptel/106106136/9a321633ad98) (Video)
29. [Module 2: Omega-regular expressions to NBA](https://invisiblenetwork.ai/learn/nptel/106106136/6a15482a943b) (Video)
30. [Module 3: Checking emptiness of NBA](https://invisiblenetwork.ai/learn/nptel/106106136/eb49989f6b8e) (Video)
31. [Module 4: Generalized NBA](https://invisiblenetwork.ai/learn/nptel/106106136/b8d6157074ea) (Video)
32. [Summary.....](https://invisiblenetwork.ai/learn/nptel/106106136/637f95c48f12) (Video)
33. [Module 1: Introduction to LTL](https://invisiblenetwork.ai/learn/nptel/106106136/198303901ca8) (Video)
34. [Module 2: Semantics of LTL](https://invisiblenetwork.ai/learn/nptel/106106136/9b8706c603ba) (Video)
35. [Module 3: A puzzle](https://invisiblenetwork.ai/learn/nptel/106106136/6bea79e2a907) (Video)
36. [Summary .](https://invisiblenetwork.ai/learn/nptel/106106136/f1e8973cf112) (Video)
37. [Module 1: Automata based LTL model-checking](https://invisiblenetwork.ai/learn/nptel/106106136/2663c352b222) (Video)
38. [Module 2: LTL to NBA](https://invisiblenetwork.ai/learn/nptel/106106136/c344596a9acf) (Video)
39. [Module 3: Automaton construction](https://invisiblenetwork.ai/learn/nptel/106106136/63a2ef2b8642) (Video)
40. [Summary ..](https://invisiblenetwork.ai/learn/nptel/106106136/586a07ca5834) (Video)
41. [Module 1: Tree view of a transition system](https://invisiblenetwork.ai/learn/nptel/106106136/dd2ffd852d01) (Video)
42. [Module 2: CTL*](https://invisiblenetwork.ai/learn/nptel/106106136/eca89edecaf3) (Video)
43. [Module 3: CTL](https://invisiblenetwork.ai/learn/nptel/106106136/f6a483efd9ad) (Video)
44. [summary ...](https://invisiblenetwork.ai/learn/nptel/106106136/9b589afa3b30) (Video)
45. [Module 1: Adequate CTL formulae](https://invisiblenetwork.ai/learn/nptel/106106136/27dcb2f56ebd) (Video)
46. [Module 2: EX, EU, EG](https://invisiblenetwork.ai/learn/nptel/106106136/61e32187262f) (Video)
47. [Module 3: Final algorithm](https://invisiblenetwork.ai/learn/nptel/106106136/f9766ae88912) (Video)
48. [Module 4: State-space explosion](https://invisiblenetwork.ai/learn/nptel/106106136/212ac67fb565) (Video)
49. [Summary ....](https://invisiblenetwork.ai/learn/nptel/106106136/1ca791cc3177) (Video)
50. [Module 1: Introduction to BDDs](https://invisiblenetwork.ai/learn/nptel/106106136/361ff7383365) (Video)
51. [Module 2: Ordered BDDs](https://invisiblenetwork.ai/learn/nptel/106106136/5cfee04d38a0) (Video)
52. [Module 3: Representing transition systems as OBDDs](https://invisiblenetwork.ai/learn/nptel/106106136/f28c8b051c0c) (Video)
53. [Summary .....](https://invisiblenetwork.ai/learn/nptel/106106136/c64e8cc8fb54) (Video)
54. [Timed transition systems](https://invisiblenetwork.ai/learn/nptel/106106136/6600ae438f66) (Video)
55. [Concluding remarks](https://invisiblenetwork.ai/learn/nptel/106106136/2b0f486c10ba) (Video)