Article

  1. POPACheck, A Model Checker for Probabilistic Pushdown Automata
    2.  - 20 May 2025

Conference

  1. VeriProP 2025
    2.  - 01 June 2025
  2. POPACheck, A Model Checker for Probabilistic Pushdown Automata
    3.  - 20 May 2025
  3. VeriProP 2024
    4.  - 23 July 2024
  4. VeriProP 2023
    5.  - 17 July 2023

Release

  1. OPPAS 3.0 released!
    2.  - 27 June 2025

Service

  1. VeriProP 2025
    2.  - 01 June 2025
  2. VeriProP 2024
    3.  - 23 July 2024
  3. VeriProP 2023
    4.  - 17 July 2023

Tool

  1. OPPAS 3.0 released!
    2.  - 27 June 2025
  2. POPACheck, A Model Checker for Probabilistic Pushdown Automata
    3.  - 20 May 2025

Tutorial

  1. Reasoning about Reasoning
    2.  - 01 August 2025
  2. The Fish Bowl
    3.  - 30 July 2025
  3. Getting started with POPACheck
    4.  - 28 July 2025

Workshop

  1. VeriProP 2025
    2.  - 01 June 2025
  2. VeriProP 2024
    3.  - 23 July 2024
  3. VeriProP 2023
    4.  - 17 July 2023