Refinement strategies for verification methods based on datapath abstraction.

Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah

Browse the full ASPDAC paper archive.