Test-Comp Test Tools
Form to Register a Verifier for Attending Test-Comp
Email address *
License *
Tool (short name/acronym) *
Tool Full Name *
URL of Tool Project *
Test-Tool Benchmark Specification *
just the file name, not complete URL; must be available here: https://gitlab.com/sosy-lab/test-comp/bench-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? *
Is the verifier attending the competition for the first time? *
URL of Paper (Preprint, author-posted)
Ubuntu 20.04 Standard Packages Requested to be Installed
from official repository, no private repository or other server allowed
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