Numeric bounds analysis with conflict-driven learning (TACAS 2012: Tools and Algorithms for the Construction and Analysis of Systems, 2012)

(untitled) - D'Silva, V; Haller, L; Kroening, D; Tautschnig, M