SV-COMP
An international software verification competition that provides standardized verification tasks, such as assertion checking and reachability analysis, and is used to evaluate the performance of software verification tools.
Timeline (last 90 days)
On 32 SV-COMP tasks, raw verifier feedback raised the average correct model determinations from 12.7 to 22.0, but at the same time increased incorrect determinations from 1 to 7.
A verification baseline combining JBMC and the JVM returned 26 correct determinations and 6 unresolved results on the SV-COMP tasks.
The verification baseline combining JBMC with the JVM leverages static exhaustive capability and dynamic execution results to corroborate each other, achieving a higher number of correct verdicts and fewer unresolved results on SV-COMP tasks.
All Facts (3)
On 32 SV-COMP tasks, raw verifier feedback raised the average correct model determinations from 12.7 to 22.0, but at the same time increased incorrect determinations from 1 to 7.
50%UnverifiedA verification baseline combining JBMC and the JVM returned 26 correct determinations and 6 unresolved results on the SV-COMP tasks.
50%UnverifiedThe verification baseline combining JBMC with the JVM leverages static exhaustive capability and dynamic execution results to corroborate each other, achieving a higher number of correct verdicts and fewer unresolved results on SV-COMP tasks.
50%