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