Artefact for paper: "Control Flow-Based Symmetry Reduction for Parameterised Boolean Equation Systems"

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

Read full text
Authors: Menno Bartels, Maurice Laveaux, Thomas Neele, Tim Willemse
DOI: 10.5281/zenodo.19333256
Cited by: 1

Abstract

This artefact supports the paper "Control Flow-Based Symmetry Reduction for Parameterised Boolean Equation Systems". The artefact contains two versions of a Virtual Machine (x86 and ARM) in which the tools and scripts are configured such that Table 1 in the paper can be reconstructed.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
30 March 2026
Language
EN