Data and Analysis Artifact for "Inductive Symmetry Breaking for Bounded Model Checking"

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

Read full text
Authors: Anonymous
DOI: 10.5281/zenodo.18758241
Cited by: 0

Abstract

This archive contains the raw experimental data and analysis scripts used to reproduce the results of the submitted manuscript titled “Inductive Symmetry Breaking for Bounded Model Checking”. All figures and tables in the paper can be regenerated from the provided CSV files using the included Python scripts.

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Software Testing and Debugging Techniques

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
24 February 2026
Language
EN
Document type
Dataset