Published February 28, 2024 | Version v1
Software Open

Equivalence and Similarity Refutation for Probabilistic Programs

  • 1. ROR icon Institute of Science and Technology Austria
  • 2. ROR icon Masaryk University
  • 3. ROR icon Singapore Management University


This repository contains the artifact of the paper titled "Equivalence and Similarity Refutation for Probabilistic Programs" accepted at PLDI 2024.

The tool takes two probabilistic transition systems with specified initial configurations as input and based on user preferences either (i) tries to prove whether the two programs generate equivalent output distributions, or (ii) tries to find a lowerbound on Kantorovich distance between the output distributions of the input programs.

In order to run the baseline, Mathematica (`math` command in terminal) must be installed and the tool should be built from source.

Additionally, the repository contains the files for Gurobi Optimizer v10.0.3.


Files (89.9 MB)

Name Size Download all
89.9 MB Preview Download

Additional details


Programming language