Choose Your Location > United States > Shaping Formal Traces without Constraints: A Case Study in Closing Code Coverage on a Crypto Engine Using Formal Verification
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
