Automatic Discovery of API-Level Exploits Vinod Ganapathy, Sanjit Seshia, Somesh Jha, Thomas Reps & Randal Bryant {vg,jha,reps}@cs.wisc.edu {sanjit,bryant}@cs.cmu.edu.
Carnegie Mellon University Formal Verification of Infinite-State Systems Using Boolean Methods Formal Verification of Infinite-State Systems Using Boolean.
Carnegie Mellon University Symbolic, Word-Level Hardware Verification bryant Randal E. Bryant Contributions by graduate students:
1 Selective Term-Level Abstraction with Type-Inference Bryan Brady Advisor: Sanjit Seshia In collaboration with: Randy Bryant, Daniel Kroening, Joel Ouaknine,