Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)

Zenodo (CERN European Organization for Nuclear Research)

Abstract

This is the artifact for the artifact evaluation of the CAV 2026 submission "Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)". See the README for information on how to evaluate it. The OCI Docker image is image.tar.gz. The Docker image contains the Caesar source code that can be used to re-build the Docker image, but this is not necessary for artifact evaluation.

Authors 7

1. Philipp Schröer Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

2. Kevin Batz

   Cornell University

   Affiliation as printed

   Cornell University

3. Umut Yiğit Dural Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

4. Darion Haase Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

5. Benjamin Lucien Kaminski

   University College London · Saarland University

   Affiliation as printed

   Saarland University

   University College London

6. Joost-Pieter Katoen Aachen

   RWTH Aachen University · University of Twente

   Affiliation as printed

   RWTH Aachen University

   University of Twente

7. Christoph Matheja

   Carl von Ossietzky Universität Oldenburg · Technical University of Denmark

   Affiliation as printed

   Technical University of Denmark

   University of Oldenburg