Verifying a logic synthesis tool in Nuprl: A case study in software verification (1994)

by M Aagaard, M Leeser
Venue:Computer Aided Verification: Proceedings of the Fourth International Workshop, CAV’92, volume 663 of Lecture Notes in Computer Science