CORPORA

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