DMCA

Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs

by Cristina David , Daniel Kroening , Matt Lewis