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

Artifact for tool paper "POPACheck: A Model Checker for Probabilistic Pushdown Automata" (v2). Conditionally accepted 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.

Institutions

TU Wien (AT)

Publication Details

Journal: Zenodo (CERN European Organization for Nuclear Research)
Published: 2025-04-29
DOI: https://doi.org/10.5281/zenodo.15304378
Primary Topic: Patient-Provider Communication in Healthcare
Type: article
Field-Weighted Citation Impact: 0.00

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

article

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

Apr 29, 2025

Zenodo (CERN European Organization for Nuclear Research)

Patient-Provider Communication in Healthcare

article

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

April 29, 2025article en

Abstract

Zenodo (CERN European Organization for Nuclear Research)

TU Wien (AT)

Openalex Percentile: Top 38%

Patient-Provider Communication in Healthcare

DOI Open Access PDF OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Artifact for "POPACheck: A Model Checker for Probabilistic Pushdown Automata" · Zenodo (CERN European Organization for Nuclear Research) (2025) | TGRS Research Map | TGRS