Lecture 8

Wed, Oct 24 : Invariants and Model Checking Continued (FRAP Chapters 5,6). [materials]

FRAP source:

• TransitionSystems.v
• ModelChecking.v

You may also want to check out these files on more advanced techniques:

• IntroToProofScripting.v
• ProofByReflection.v