Using Debuggers to Understand Failed Verification Attempts

Peter Müller,Joseph N. Ruskiewicz
DOI: https://doi.org/10.1007/978-3-642-21437-0_8
2011-06-20
Abstract:
What problem does this paper attempt to address?