39 citations · 71 across the 10 of their papers we have counts for
1 paper · 1 filter
Tobias Seufert, Felix Winterer, Christoph Scholl +3
In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the co…