5 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Marko Kleine Büning, Tomas Balyo, Carsten Sinz
This paper describes a novel unbounded software model checking approach to find errors in programs written in the C language based on incremental SAT-solving. Instead of using the…