Competition Contributions consist of a contribution paper that describes the competition contribution, including an outline of the concepts, technology, libraries, and tool infrastructure used in the competition, installation instructions, a specification of the version and parameters to be used for the competition, as well as a link to the executable tool (= competition candidate). Contribution papers have a maximum of 3 pages in LNCS style.

Submit your contribution via the SV-COMP'13 submission site of Easychair.

The competition contribution paper should be structured as follows: