Security auditing improves formal verification, and formal verification improves auditing. How should the two be used together? Certora's Mooly Sagiv explains in this lecture. Recorded 1/24/22