CRIS: The Power of Imagination in Hybrid Verification (Artifact)

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

Read full text
Authors: Yonghee Kim, Taeyoung Yoon, Sanghyun Yi, Jaehyung Lee, S.-M. Moon, Yeji Han, Seonho Lee, Taeyoung Rhee, Yujin Im, Donghyun Nam, Kim Jieung, Chung-Kil Hur
DOI: 10.5281/zenodo.19491861
Cited by: 1

Abstract

This artifact accompanies the paper “CRIS: The Power of Imagination in Hybrid Verification.” It contains the full project source as a .zip archive, together with two prebuilt Docker images for artifact evaluation: one for x86_64 and one for arm64.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
1 January 2026