16 citations · 35 across the 15 of their papers we have counts for
1 paper · 1 filter
Kohei Suenaga, Takuya Ishizawa
Generalized property-directed reachability (GPDR) belongs to the family of the model-checking techniques called IC3/PDR. It has been successfully applied to software verification;…