3 citations · 13 across the 15 of their papers we have counts for
1 paper · 1 filter
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
Recently, the k-induction algorithm has proven to be a successful approach for both finding bugs and proving correctness. However, since the algorithm is an incremental approach, i…