Sign-off with Bounded Formal Verification Proofs

Author(s):
NamDo Kim, Junhyuk Park, HarGovind Singh, and Vigyan Singhal
Location:
United States
Year:
2014
Type:
Paper
Format:
pdf