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
28 August - 1st September 2023: School on Verification Technology, Systems & Applications, Nancy, France
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