26 citations · 27 across the 3 of their papers we have counts for
1 paper · 1 filter
Andreas Tiemeyer, Tom Melham, Daniel Kroening +1
This paper presents CREST, a prototype front-end tool intended as an add-on to commercial EDA formal verifcation environments. CREST is an adaptation of the CBMC bounded model chec…