expert theoryverification 7 subtopics 33 min total Prerequisites Before reading this, you may want to check out: Discrete MathematicsAutomata And Formal Languages Formal Methods Topics Formal Specification Model Checking Theorem Proving Program Verification Type Theory for Verification Abstract Interpretation Concurrency Verification