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