WoLFram- A Word Level Framework for Formal Verification.

Published in: IEEE International Workshop on Rapid System Prototyping (2009)