Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification.

Mark D. Aagaard, Miriam Leeser

Browse the full CAV paper archive.