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