Shaping Formal Traces without Constraints: A Case Study in Closing Code Coverage on a Crypto Engine using Formal Verification Author(s): David N. Goldberg, Adriana Maggiore, and David J. Simpson Download
