SV-COMP Verifiers 2017
Form to Register a Verifier for Attending SV-COMP 2017
Verifier (short name/acronym, example AProVE) *
Verifier Full Name (example: SymDIVINE 0.2) *
URL of Verifier Project *
Tool-Info Module (example: *
Verifier Benchmark Specification (example: aprove.xml) *
URL of Archive that Contains the Verifier Binary *
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 16.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.
Never submit passwords through Google Forms.
This form was created inside of Software Systems Lab. - Terms of Service - Additional Terms