Advanced Topics in Formal Verification - 236624
Course, The Technion, Computer Science Department, 2019
Topics
- SAT and SMT
- Bounded Model Checking
- Finding Inductive Invariants with Interpolation and IC3/PDR
- Verification using Constrained Horn Clauses
- Hyper-properties and Security Verification