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.
Never submit passwords through Google Forms.
This form was created inside of Software Systems Lab. Report Abuse