Verification of systems containing counters.

Enrico Macii, Bernard Plessier, Fabio Somenzi

Browse the full ICCAD paper archive.