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

Service

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

Tool

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

Workshop

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