The Fish Bowl

Tutorial

Or how you can express probabilistic conditioning in POPACheck

30 July 2025

Getting started with POPACheck

Tutorial

How to install POPACheck and start using it

28 July 2025

OPPAS 3.0 released!

Tool Release

Discover our new tool suite for the analysis of recursive programs

27 June 2025

VeriProP 2025

Workshop Conference Service

Michele Chiari will co-chair VeriProP 2025

01 June 2025

POPACheck, A Model Checker for Probabilistic Pushdown Automata

Conference Article Tool

Paper accepted at CAV 2025!

20 May 2025

VeriProP 2024

Workshop Conference Service

Michele Chiari co-chaired VeriProP 2024

23 July 2024

VeriProP 2023

Workshop Conference Service

Michele Chiari is a co-chair of VeriProP 2023

17 July 2023