Datalog + SMT for Static Analysis

Presented on May 14, 2020
Presenter: Zach

Preview

Zach will present the paper “Datalog + SMT for Static Analysis” by Aaron Bembenek et al.