A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
WoLFram- A Word Level Framework for Formal Verification
2009
2009 IEEE/IFIP International Symposium on Rapid System Prototyping
Due to high computational costs of formal verification on pure Boolean level, proof techniques on the word level, like Satisfiability Modulo Theories (SMT), were proposed. Verification methods originally based on Boolean satisfiability (SAT) can directly benefit from this progress. In this work we present the word level framework WoLFram that enables the development of applications for formal verification of systems independent of the underlying proof technique. The framework is partitioned
doi:10.1109/rsp.2009.21
dblp:conf/rsp/SulflowKFGD09
fatcat:6umh7p3qtjhg7onwlcvdb44dfe