Program Committee / Jury

"The competition jury consists of the chair and one member of each participating team; the team-representing members circulate every year after the candidate-submission deadline. This committee reviews the competition contribution papers and helps the organizer with resolving any disputes that might occur." [Competition Report for SV-COMP 2013]

In more detail, the tasks of the jury comprises the following:

Jury from October 15, 2021

(sorted by verifier name)

TBA

Jury from October 16, 2020

(sorted by verifier name)