About ProVerB: Program Verification Book

• ProVerB is a project by the members of the Formal Methods and Tools group from the University of Twente: Sophie Lathouwers and Vadim Zaytsev
• Modelling Program Verification Tools for Software Engineers is a paper at MoDELS’22 that explains a lot about the goals of the project and the design of its constituents.
  • Artefact: doi:10.4121/20347950 (being FAIR)
  • Repository: @Sophietje/Verification-Tool-Overview (we accept pull requests!)
  • Contributors: GitHub Insights
• The page is maintained by Vadim Zaytsev a.k.a. @grammarware
• The logo of ProVerB is based on the open book logo by Icon Lauk from the Noun Project, CC-BY 2018.
• Tool descriptions and depictions used within this project, might be imperfect, because most are created without consulting the original authors
• Any citations and other pieces of information from the tool papers are claimed to be fair use. Different countries define this differently, but, for instance, within US (where this website, as the rest of GitHub, is hosted) this conforms to United States Code, Title 17, Section 107, because this project exists “…for purposes such as criticism, comment, teaching, scholarship, or research…”.
• All referenced works of art, science and engineering, are subject to their own individual copyrights.

---