The role of human creativity in mechanized verification:

J Strother Moore

Browse the full FMCAD paper archive.