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