Test-Comp Test Tools

JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.

Form to Register a Verifier for Attending Test-Comp

License *

I confirm that the license for the archive adheres to the Test-Comp rules.

My archive should not be used for the competition.

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? *

Yes

Is the verifier attending the competition for the first time? *

Yes

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

Submit

Clear form

Never submit passwords through Google Forms.

This form was created inside of Software Systems Lab.

Does this form look suspicious? Report