Skip to main content

An Abstract Interpretation of DPLL(T)

M. Brain‚ V. D'Silva‚ L. Haller‚ A. Griggio and D. Kroening

Book Title
Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation
Year
2013