Test-Comp Test Tools
Form to Register a Verifier for Attending SV-COMP
Email address *
Tool (short name/acronym) *
Your answer
Tool Full Name *
Your answer
URL of Tool Project *
Your answer
Test-Tool Benchmark Specification *
just the file name, not complete URL; must be available here: https://gitlab.com/sosy-lab/test-comp/bench-defs
Your answer
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 STTT special issue? *
Is the verifier attending Test-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
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