CORPORA is a MSCA PF project that will create a new verification framework for recursive probabilistic programs.
Workshop Conference Service
Michele Chiari co-chaired VeriProP 2024
Michele Chiari is a co-chair of VeriProP 2023