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