Anonymous Replication Package for PRISM Framework

Zenodo (CERN European Organization for Nuclear Research) 2026 Dataset Open access

Read full text
Authors: Anonymous
DOI: 10.5281/zenodo.18796306
Cited by: 0

Abstract

This replication package contains data, anchor statements, scripts, and configuration files required to reproduce the results described in the submitted manuscript.

Fields of Study & Subjects

Simulation Techniques and Applications Formal Methods in Verification Scientific Computing and Data Management

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
27 February 2026
Language
EN
Document type
Dataset