activity
20232026
most citedAutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)

1 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)

Wei-Lun Tsai, Yu-Fang Chen, Ondřej Lengál

Hoare-style verification provides a principled foundation for reasoning about the correctness of quantum programs, but existing approaches do not allow fully automatic verification…