Competition Contributions consist of three parts:

Requirements for (i) System Description

Submit your system description via the SV-COMP'16 submission site of Easychair. System descriptions have a maximum of 3 pages in LNCS style.

The competition contribution paper should be structured as follows (the structure is recommended, not mandatory; but the below-mentioned information must be provided):

Requirements for (ii) Executable Tool

See rules under "Setup" and "Qualification". The submitted system has to meet the following requirements:

Requirements for (i) Tool-Info Module

In order to participate at SV-COMP, a tool-info module in the BenchExec repository is necessary. Technically, the tool-info module needs to be integrated into the BenchExec repository under directory benchexec/tools using a pull request.

The task of the tool-info module is (besides other tasks) to translate the output of a verifier to the results FALSE, TRUE, etc. For running the contributed verifier, the organizer follows the installation requirements and executes the verifier, relying on the tool-info module for correct execution of the verifier and correct interpretation of its results.