OOPSLA-25 Artifact for Paper: Structural Abstraction and Refinement for Probabilistic Programs

Published June 28, 2025 | Version v1

Software Open

Files

Name	Size	Download all
structural-abstraction-refinement-apple.tar md5:f40559a506300c2153456406a888ce82	1.3 GB	Download
structural-abstraction-refinement-x86.tar md5:5eedad8ee3490f69e714b9e8c5ec1a2f	1.4 GB	Download
StructuralAbstractionRefinement.zip md5:e942d49808d30df80ffe27c94baea61b	345.4 kB	Preview Download

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more