SV-COMP Verifiers
Form to Register a Verifier for Attending SV-COMP
Email address *
License
Verifier (short name/acronym, example AProVE) *
Your answer
Verifier Full Name (example: SymDIVINE 0.2) *
Your answer
URL of Verifier Project *
Your answer
Tool-Info Module (example: aprove.py) *
just the file name, not complete URL; must be available here: https://github.com/sosy-lab/benchexec/tree/master/benchexec/tools
Your answer
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
Your answer
Jury Member *
Your answer
E-Mail Address of Jury Member *
Your answer
Affiliation (of jury member) *
Your answer
URL of Jury Member (home page)
Your answer
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)
Your answer
Ubuntu 18.04 Standard Packages Requested to be Installed
from official repository, no private repository or other server allowed
Your answer
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 - Terms of Service