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

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
DOI: 10.5281/zenodo.19838026
Cited by: 1

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.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
28 April 2026