ProVerB is a project aimed at explaining program verification tools to help people find their way around the available tools, clearly and briefly summarising the main purpose of each tool, its current status, relations to other tools, etc.

Browse the data at https://slebok.github.io/proverb/!

You can read more about how we set up this dataset in our MODELS ‘22 paper “Modelling Program Verification Tools for Software Engineers”.

Useful links

• Website: https://slebok.github.io/proverb/
• Repository with data: https://github.com/Sophietje/Verification-Tool-Overview
• Paper: Sophie Lathouwers and Vadim Zaytsev. 2022. Modelling program verification tools for software engineers. In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS ‘22). Association for Computing Machinery, New York, NY, USA, 98–108. https://doi.org/10.1145/3550355.3552426
• MODELS ‘22 Artefact: https://doi.org/10.4121/20347950
• Extended paper: Sophie Lathouwers, Yujie Liu and Vadim Zaytsev. 2025. Extract, Model, Refine: Improved Modelling of Program Verification Tools through Data Enrichment. In Software and Systems Modeling. https://doi.org/10.1007/s10270-024-01232-7
• Poster: PDF