Carnegie Mellon University Advisor: Edmund M. Clarke
GSRC theme: viability Expected graduation: Nov, -1