Model checking machine code with the GNU debugger (0)

by E G Mercer, M D Jones
Venue:In Proc. of the SPIN Workshop on Model Checking of Software