Artifact of "FastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachability"

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

Read full text
Authors: Ilia Muravev, Semyon Grigorev
DOI: 10.5281/zenodo.18406624
Cited by: 1

Abstract

This is the artifact of the paper "FastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachability" submitted to STTT 2026. The artifact is packaged as a Docker image "fast-matrix-cfpq.tar.gz", which is to reproduce the experiment results of the paper. Please see README.md for detailed usage of the artifact.

Publication details

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