Datalog + SMT for Static Analysis
Presented on May 14, 2020
Presenter: Zach
Presenter: Zach
Preview
Zach will present the paper “Datalog + SMT for Static Analysis” by Aaron Bembenek et al.
Zach will present the paper “Datalog + SMT for Static Analysis” by Aaron Bembenek et al.