Control flow-guided SMT solving for program verification
ASE, pp. 351-361, 2018.
Satisfiability modulo theories (SMT) solvers have been widely applied as the reasoning engine for diverse software analysis and verification technologies. The efficiency of the SMT solver has significant effects on the performance of these technologies. However, the current SMT solvers are designed for the general purpose of constraint so...More
Full Text (Upload PDF)
PPT (Upload PPT)
Best Paper of ASE, 2018