76 citations · 129 across the 23 of their papers we have counts for
1 paper · 1 filter
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs +1
Software verification competitions, such as the annual SV-COMP, evaluate software verification tools with respect to their effectivity and efficiency. Typically, the outcome of a c…