2020.03.11 - Brown Bag: Symbolic/Concolic Execution and SMT Solvers

Name: 2020.03.11 - Brown Bag: Symbolic/Concolic Execution and SMT Solvers
Uploaded: 2020-10-02T00:00:00.000Z
Duration: 3690 s
Description: Video 2020.03.11 - Brown Bag: Symbolic/Concolic Execution and SMT Solvers

(link)

Channel: GitLab Unfiltered