Mosaic: Artifact for "Complete Local Reasoning About Parameterized Programs Over Topologies"

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

Read full text
Authors: Ruotong Cheng, Azadeh Farzan
DOI: 10.5281/zenodo.19851981
Cited by: 1

Abstract

Updated for the full version of the paper, which includes 30 benchmarks.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
7 June 2026