EuroProofNet is the European research network on digital proofs. EuroProofNet aims at boosting the interoperability and usability of proof systems. EuroProofNet is a COST action started on November 2021 gathering more than 300 researchers from more than 40 different countries.
The aim of working group 3 (WG 3) is twofold:
- to lower the computational complexity and increase expressiveness of techniques for the verification of program correctness, and
- to strengthen synergies and interoperability between different proof systems to combine the benefits of the different methodologies underlying the proof systems to facilitate formal verification of both software and mathematics.
This repository collects material and documentation of project deliverables related to WG3. The contents are listed below.
The working group maintains an inventory of software verification tools, which can be found at the GitHub Wiki of this repository.
The inventory is open to the community.
The working group is working on an inventory of software verification challenges, which can be found at the GitHub Wiki of this repository.
The collection of challenges is ongoing work towards deliverable D11. Collection of verification challenges with summary of working recipes for verifying them. (see the MoU of COST action CA20111).
The contents of this repository are licensed under a Creative Commons Attribution 4.0 International License. Please observe the respective author(s) of the individual page(s).