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

doi:10.5281/zenodo.7507921

Published January 5, 2023 | Version v1

Software Open

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

Batz, Kevin¹

1. RWTH Aachen University

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
cegispro2ae.zip md5:ffca27323c5e3abfd49eeb909d471c3c	40.7 MB	Preview Download

116

Views

Downloads

Show more details

	All versions	This version
Views	116	116
Downloads	17	17
Data volume	814.3 MB	814.3 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

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

Technical metadata

Created: January 5, 2023
Modified: January 6, 2023

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

Creators

Description

Files

cegispro2ae.zip

Files (40.7 MB)