106 citations · 294 across the 14 of their papers we have counts for
1 paper · 1 filter
Shilpi Goel, Anna Slobodova, Rob Sumners +1
Verification of modern microprocessors is a complex task that requires a substantial allocation of resources. Despite significant progress in formal verification, the goal of compl…