Artifact for the CAV'26 paper "String Solving with Stabilization and Transducers"

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

Read full text
Authors: David Chocholatý, Vojtěch Havlena, Lukáš Holík, Juraj Síč, Michal Šedý
DOI: 10.5281/zenodo.19814331
Cited by: 1

Abstract

This is an artifact for the CAV'26 paper "String Solving with Stabilization and Transducers". This artifact is supposed to be run on the CAV'26 Artifact Evaluation virtual machine (VM) which can be downloaded from https://zenodo.org/records/19184839. However, it should be possible to run the artifact on any x86_64 Linux machine with recent enough cmake and python. For instructions, see attached README.txt file, or the same file at artifact/README.txt.

Publication details

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