How to contribute

If you want to add your (or your team's) tool to the inventory Wiki, please carefully follow the below steps. This guide aims at helping to have a uniform presentation of the different tools.

How to contribute tools

1. Add a new page to the Wiki, the name of that page needs to be as follows:

• <tool name> where <tool name> is the name of your system if you are contributing to the collection of verification tools.
• find a descriptive name <challenge name> for the challenge, and then use <challenge name> as the name of the page.

2. Copy/paste the template to your new page:

• the tool template
• the challenge template

3. Fill in the information as asked from the template. It can be useful to check the information provided by the already listed tools.
4. Add the tool to the table of tools on the list of tools page, if not already present.