Verifying BDD Algorithms through Monadic Interpretation.

Sava Krstic, John Matthews

Browse the full VMCAI paper archive.