Satisfiability Solvers are Static Analyzers
Presented on January 17, 2020
Presenter: Harlan
Presenter: Harlan
Preview
Harlan will present the paper “Satisfiability Solvers are Static Analyzers” by D’Silva, Haller, and Kroening.
Harlan will present the paper “Satisfiability Solvers are Static Analyzers” by D’Silva, Haller, and Kroening.