Lecture 7
Mon, Oct 22 : Euler & Nelson; Invariants and Model Checking (FRAP Chapters 5,6). [materials]
You may also want to check out these files on more advanced techniques:
Mon, Oct 22 : Euler & Nelson; Invariants and Model Checking (FRAP Chapters 5,6). [materials]
You may also want to check out these files on more advanced techniques: