A Practical Specification Language for Automatic Quantum Program Verification

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

Read full text
Authors: Wei-Lun Tsai, Yu‐Fang Chen, Ondřej Lengál
DOI: 10.5281/zenodo.19724316
Cited by: 1

Abstract

This artifact supports the experimental evalution for the CAV'26 submission named "A Practical Specification Language for Automatic Quantum Program Verification", in particular Table 1 in the submitted paper. Source codes and some toy examples are also included in this artifact for being reusable.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
25 April 2026