SV-COMP Verifiers
Form to Register a Verifier for Attending SV-COMP
Sign in to Google to save your progress. Learn more
Email *
License *
Verifier (short name/acronym, example AProVE) *
Verifier Full Name (example: SymDIVINE 0.2) *
URL of Verifier Project *
Verifier Benchmark Specification (example: aprove.xml) *
just the file name, not complete URL; must be available here:
Jury Member *
E-Mail Address of Jury Member *
Affiliation (of jury member) *
URL of Jury Member (home page)
Would you like to publish the system description in the TACAS proceedings? *
Is the verifier attending the competition for the first time? *
URL of Paper (Preprint, author-posted)
Ubuntu 20.04 Standard Packages Requested to be Installed
from official repository, no private repository or other server allowed
From which categories does the verifier opt-out?
See under "Opting-out from Categories". The ranking table will contain a dash for an opt-out category.
Java or C Competition? *
A copy of your responses will be emailed to the address you provided.
Clear form
Never submit passwords through Google Forms.
This form was created inside of Software Systems Lab. Report Abuse