WoLFram- A Word Level Framework for Formal Verification.

Authors :: Sulflow, A.
Kuhne, U.
Fey, G.
Grosse, D.
Drechsler, R.
Source :: 2009 IEEE/IFIP International Symposium on Rapid System Prototyping; 2009, p11-17, 7p
Publication Year :: 2009

Language :: English
ISBNs :: 9780769536903
Database :: Complementary Index
Journal :: 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
Publication Type :: Conference
Accession number :: 81312495
Full Text :: https://doi.org/10.1109/RSP.2009.21