Now showing items 1-1 of 1
MCDASH: Refinement-Based Property Verification for Machine Code
(University of Wisconsin-Madison Department of Computer Sciences, 2009)
This paper presents MCDASH, a refinement-based model checker for machine code. While model checkers such as SLAM, BLAST, and DASH have each made significant contributions in the field of verification/flaw-detection, ...