Automating Induction with an SMT Solver

Presented on November 14, 2019
Presenter: Harlan

Preview

Harlan will talk about “Automating Induction with an SMT Solver” by Rustan and Leino.