Sep. 15, 2026 (Tue)

Lec.01
Slides: 1.Overview.pdf

Sep. 18, 2026 (Fri)

Lec.02
Slides: 2.Propositional Logic.pdf

Sep. 20, 2026 (Sun) — Following the Friday timetable

Lec.03
Slides: 3.SAT Solver.pdf

Sep. 22, 2026 (Tue)

Lec.04

Sep. 29, 2026 (Tue)

Lec.05
Slides: 4.The Application of Propositional Logic.pdf

Oct. 10, 2026 (Sat) — Following the Tuesday timetable

Lec.06
Slides: 5.Deduction.pdf

Oct. 13, 2026 (Tue)

Lec.07
Slides: 6.Predicate Logic.pdf

Oct. 16, 2026 (Fri)

Lec.08
Slides: 7.SMT Solver.pdf
Notes: SMT Solver Notes.pdf

Oct. 20, 2026 (Tue)

Lec.09
Slides: 8.Symbolic Execution.pdf
Slides: 9.The Application of Predicate Logic.pdf
Notes: Symbolic Execution Notes.pdf

Oct. 27, 2026 (Tue)

Lec.10
Slides: 10.Hoare Logic.pdf
Notes: Hoare Logic Notes.pdf

Oct. 30, 2026 (Fri)

Lec.11

Nov. 3, 2026 (Tue)

Lec.12
Slides: 11.Separation Logic V3.pdf
Notes: Automated Verification Lecture Notes
Notes: Separation Logic Lecture Notes

Nov. 10, 2026 (Tue)

Lec.13

Nov. 13, 2026 (Fri)

Lec.14

Nov. 17, 2026 (Tue)

Lec.15

Nov. 24, 2026 (Tue)

Lec.16

Nov. 27, 2026 (Fri)

Lec.17

Dec. 1, 2026 (Tue)

Lec.18

Dec. 8, 2026 (Tue)

Lec.19

Dec. 11, 2026 (Fri)

Lec.20

Dec. 15, 2026 (Tue)

Lec.21

Dec. 22, 2026 (Tue)

Lec.22

Dec. 25, 2026 (Fri)

Lec.23

Dec. 29, 2026 (Tue)

Lec.24