Control flow-guided SMT solving for program verification

ASE, pp. 351-361, 2018.

Cited by: 2|Bibtex|Views69|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Best Paper
Best Paper of ASE, 2018
Tags
Comments