RT DW A1 Goldweber, Eli David. T1 Increasing the Practicality of Verification Using Incomplete Solutions