WoLFram- A Word Level Framework for Formal Verification.
Andr Slflow, Ulrich Khne, Grschwin Fey, Daniel Groe, Rolf Drechsler
VenueCRSP
Year2009
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/SulflowKFGD09 ↗
Browse the full RSP paper archive.