Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences.

Lukas Burgholzer, Robert Wille

Browse the full ASPDAC paper archive.