The aim of this WG is twofold: (i) to lower the computational complexity and increase expressiveness of techniques for the verification of program correctness, and (ii) 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.

Activities

  • 10-11 February 2022: Kick-off meeting

  • Summer 2022: next edition of VTSA at Saarbr├╝cken (Germany) with a focus on proof-generating verification systems