CORPORA is a research project that aims at creating a new verification framework for recursive probabilistic programs.
Tutorial
Studying stochastic epidemiological models with POPACheck
Probabilistic programs for the Theory of Mind
Or how you can express probabilistic conditioning in POPACheck
How to install POPACheck and start using it
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
