↢ Back to the List of Courses

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 

Formal Semantics

• Lecture 1

• Homework 1

• Lecture 2

• Lecture 3

• Lecture 4

• Homework 2

• Lecture 5 bpl files

Infinite-duration Two-player Games on Graphs

• Lecture 6

• Lecture 6 - Extra Notes

• Lecture 7

• Homework 3

• Lecture 8

• Lecture 9

Automata on Infinite Words

• Lecture 9

• Lecture 10

• Lecture 11

• Homework 4

Linear Temporal Logic

• Lecture 12

• Lecture 13

• Lecture 14

• Homework 5

• Lecture 15

Exams

• Final Exam