I suggest you start with this paper: "SMT Solvers in Software Security", Julien Vanegue, Sean Heelan, Rolf Rolles https://www.usenix.org/system/files/conferen

I suggest you start with this paper: "SMT Solvers in Software Security", Julien Vanegue, Sean Heelan, Rolf Rolles https://www.usenix.org/system/files/conference/woot12/woot12-final26.pdf https://www.usenix.org/system/files/conference/woot12/woot12...