André Sülflow, Ulrich Kühne, Görschwin Fey, Daniel Große, Rolf Drechsler. WoLFram- A Word Level Framework for Formal Verification. In Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, RSP 2009, Paris, France, 23-26 June 2009. pages 11-17, IEEE Computer Society, 2009. [doi]
Abstract is missing.