CORPORA

CORPORA is a MSCA PF project that will create a new verification framework for recursive probabilistic programs.

VeriProP 2025

Workshop Conference Service

Michele Chiari will co-chair VeriProP 2025

01 June 2025

POPACheck, A Model Checker for Probabilistic Pushdown Automata

Conference Article Tool

Paper accepted at CAV 2025!

20 May 2025

VeriProP 2024

Workshop Conference Service

Michele Chiari co-chaired VeriProP 2024

23 July 2024

VeriProP 2023

Workshop Conference Service

Michele Chiari is a co-chair of VeriProP 2023

17 July 2023