34 citations · 40 across the 2 of their papers we have counts for
1 paper · 1 filter
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
We present symQV, a symbolic execution framework for writing and verifying quantum computations in the quantum circuit model. symQV can automatically verify that a quantum program…