Formal Methods for the Informal Engineer: Tutorial #1 - The Z3 Theorem Prover

Online event hosted by the Ó³»­´«Ã½ of MIT and Harvard

Day 1 (Feb. 3)
Opening Remarks

Tutorial 1: The Z3 Theorem Prover
Phil Zucker, Draper Labs