WG3 Program Verification
The aim of this WG 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, and to facilitate formal verification of both software and mathematics.
Documents and Deliverables
We use a git repository to store all our documents and deliverables. In particular, we initiated an inventory of program verification tools.
8-9 February 2023: Second WG3 meeting webpage
5-9 September 2022: EuroProofNet Summer School on Verification Technology, Systems & Applications (VTSA’22), Saarbrücken, Germany
- 10-11 February 2022: Kick-off meeting Slides&Videos Report