Applying SMT in symbolic execution of microcode.

Anders Franzn, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev

Browse the full FMCAD paper archive.