9 citations · 9 across the 1 of their papers we have counts for
1 paper
Dirk Beyer, Matthias Dangl, Philipp Wendler
Bounded model checking (BMC) is a well-known and successful technique for finding bugs in software. k-induction is an approach to extend BMC-based approaches from falsification to…