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
Location:
United States
Year:
2012
Type:
Presentation
Format:
pdf