ProVerB: Dataset of Tools and Formats for Program Verification

ProVerB _ProVerB, 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. Notable parts of the artefact: Manually created dataset of semi-structured descriptions of tools and formats in the domain of program verification User-friendly browsable and interlinked web frontend version of ProVerBProVerB（ProVerB）全称为程序验证手册（Program Verification Book），是一个面向在职软件开发人员讲解程序验证工具的项目，旨在帮助他们理清现有可用工具的使用脉络，清晰简洁地总结各工具的核心用途、当前发展状态以及与其他工具的关联关系等内容。该项目的核心组成部分包括：人工构建的程序验证领域内工具与格式的半结构化描述数据集，以及面向用户、支持便捷浏览与互联关联的ProVerB网页前端版本。