8 citations · 26 across the 8 of their papers we have counts for
1 paper · 2 filters
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…