SMT Solvers

Title Speakers Conference Tags
The Case for Semantics-Based Methods in Reverse Engineering Rolf Rolles REcon-2012 - Montreal, Canada Reverse Engineering Formal Methods SMT Solvers
Modern static security checking of C / C++ programs Julien Vanegue SummerCon-2012 - Brooklyn, USA Code Analysis SMT Solvers