2 code implementations • 2 Mar 2017 • Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
Software verification competitions, such as the annual SV-COMP, evaluate software verification tools with respect to their effectivity and efficiency.