Report copyright - Symbolic Execution · 2011. 4. 12. · SMT = Satisfiability Modulo Theories = SAT++ Can solve very large instances, very quickly-Lets us check assertions, prune infeasible paths
Please pass captcha verification before submit form
Please pass captcha verification before submit form