Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published January 5, 2023 | Version v1
Software Open

Artifact for Paper Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

Creators

  • 1. RWTH Aachen University

Description

The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants". The artifact contains our tool "cegispro2" and a README.txt with detailed instructions on how to reproduce the results for our tool.

Files

cegispro2ae.zip

Files (40.7 MB)

Name Size Download all
md5:ffca27323c5e3abfd49eeb909d471c3c
40.7 MB Preview Download