-
Notifications
You must be signed in to change notification settings - Fork 0
Home
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.
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,
- 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.
The main purpose of this wiki is to create a common space for collecting software verification tools and verification challenges.
The inventory is open, freely accessible, and community-driven. For its build-up we depend on contributions from everybody building or using software verification tools, input and output formats, or related tools. Please help to complete the inventory.
Please see How to contribute for step-by-step instructions.
See list of tools.
See list of challenges.
Creative Commons License 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).