HARER KEVIN

Abstraction-based livelock/deadlock checking for hardware verification