CORPORA is a MSCA PF project that will create a new verification framework for recursive probabilistic programs.
Tool Release
Discover our new tool suite for the analysis of recursive programs
Workshop Conference Service
Michele Chiari will co-chair VeriProP 2025
Conference Article Tool
Paper accepted at CAV 2025!
Michele Chiari co-chaired VeriProP 2024
Michele Chiari is a co-chair of VeriProP 2023
