Automating Induction with an SMT Solver
Presented on November 14, 2019
Presenter: Harlan
Presenter: Harlan
Preview
Harlan will talk about “Automating Induction with an SMT Solver” by Rustan and Leino.
Harlan will talk about “Automating Induction with an SMT Solver” by Rustan and Leino.