COMP 6613B - Semantics and Verification
Spring Semester 2020-21
Number of Students: 16
Average Rating by the Students: 4.71/5.0
Covered topics
Operational, Denotational and Axiomatic Semantics
Infinite-duration Two-player Games on Graphs (with Omega-regular objectives)
Automata on Infinite Words
Linear Temporal Logic
Termination Analysis
YouTube Playlist
https://www.youtube.com/watch?v=Izc5p5qpLII&list=PLzZlJT-UOiwDluuV0Ypq17M-X-Ujdj_0B
Course Files
https://drive.google.com/drive/folders/1jkk3CkOl4fTsUm-vinIka8khUObcbFPq?usp=sharing