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: https://github.com/sosy-lab/sv-comp/tree/master/benchmark-defs
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 http://sv-comp.sosy-lab.org/2019/rules.php 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.
Submit
Never submit passwords through Google Forms.
reCAPTCHA
This form was created inside of Software Systems Lab. Report Abuse