Work

Artifact for "POPACheck: A Model Checker for Probabilistic Pushdown Automata"

Year: 2025

Type: article

Abstract: Artifact for tool paper "POPACheck: A Model Checker for Probabilistic Pushdown Automata" (v2). Published at CAV'25. This artifact contains the source code of POPACheck used in the experimental evaluation of the paper, as well as a virtual machine equipped with scripts and instructions on how to replicate automatically the experimental evaluation. Please refer to README.md.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.15213850

Authors: Pontiggia, Francesco, Bartocci, Ezio, Chiari, Michele

Institution: TU Wien

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: European Commission

Awards: Logics for Computer Science Program at TU Wien, G7857191327