Media Summary: Tikhon Jelvis C◦mp◦se :: Conference February 5, 2016 An increasing number of applications in verification and security rely on or could benefit from automatic Andrew J Harris (JHU/APL) presents "An Introduction to
Analyzing Programs With Smt Solvers - Detailed Analysis & Overview
Tikhon Jelvis C◦mp◦se :: Conference February 5, 2016 An increasing number of applications in verification and security rely on or could benefit from automatic Andrew J Harris (JHU/APL) presents "An Introduction to Scripts referenced in this video can be found on GitHub:
![Intro to SMT Solvers [lightning talk session]](https://i.ytimg.com/vi/NhV_MoaBsbk/mqdefault.jpg)
