Literature
|
00:07:08
|
Introduction - visual |
|
00:09:45
|
Fundamental Limits |
|
00:14:11
|
Two solution: weaker models |
|
00:16:23
|
Two solution: weaker analysis |
|
00:19:33
|
Soundness |
|
00:21:49
|
Completeness |
|
00:25:26
|
Correctness |
|
00:27:21
|
Scalability |
|
00:28:47
|
Practiabillity |
|
00:30:17
|
Model Language: WHILE |
|
00:37:30
|
Example WHILE Program |
|
00:39:10
|
Flow Diagram |
|
00:41:58
|
Overview of the Lecture |
|
00:55:09
|
Literature List |