OCI Container Image for SV-COMP 2025

20290 citationsOthergreen Open Access

Authors

SoSy-Lab · Ludwig-Maximilians-Universität München

Abstract

The OCI container image provides an environment that closely mirrors the setup of the SV-COMP 2025 competition environment. It is based on Ubuntu 22.04 and can be used with container runtimes such as Podman and Docker.For a detailed list of installed packages, please refer to the Dockerfile. The image was pulled from the container registry at registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2025 on 2026-01-08.

Topics & Keywords

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.18183315

Command Palette

OCI Container Image for SV-COMP 2025

Authors

Abstract

Topics & Keywords

Publication Details