activity
20242026
most citedEquivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

2 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.LO2025

Parameterized Verification of Quantum Circuits (Technical Report)

Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hečko +4

We present the first fully automatic framework for verifying relational properties of parameterized quantum programs, i.e., a program that, given an input size, generates a corresp…