Rule-Based Approaches for Equivalence Checking of SpecC Programs.

Subash Shankar, Masahiro Fujita

Browse the full MEMOCODE paper archive.