39 citations · 55 across the 7 of their papers we have counts for
1 paper · 1 filter
Martin Brain, Saurabh Joshi, Daniel Kroening +1
Most software verification tools can be classified into one of a number of established families, each of which has their own focus and strengths. For example, concrete counterexamp…