TY - DATA
T1 - ProVerB: Dataset of Tools and Formats for Program Verification
PY - 2022/07/21
AU - Sophie Lathouwers
AU - Vadim Zaytsev
UR - https://data.4tu.nl/articles/dataset/ProVerB_Dataset_of_Tools_and_Formats_for_Program_Verification/20347950/1
DO - 10.4121/20347950.v1
KW - Program verification
KW - specification format
KW - Tools
KW - Verification
N2 - <h2>ProVerB</h2>
<p><sub><a href="http://slebok.github.io/proverb/" target="_blank">ProVerB</a></sub>, short for <strong>Program Verification Book</strong>, is a project aimed at explaining program verification tools to practicing software developers, and at helping them to find their way around the available tools, clearly and briefly summarising the main purpose of the tool, its current status, relations to other tools, etc.</p>
<p>Notable parts of the artefact:</p>
<ul>
  <li>Manually created dataset of semi-structured descriptions of tools and formats in the domain of program verification</li>
  <li>User-friendly browsable and interlinked web frontend version of ProVerB</li>
</ul>
ER -