SV-COMP Verifiers
Form to Register a Verifier for Attending SV-COMP
Email address *
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 SV-COMP for the first time? *
URL of Paper (Preprint, author-posted)
Ubuntu 18.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? *
Never submit passwords through Google Forms.
This form was created inside of Software Systems Lab. Report Abuse