Integer hybrid path-sums plus a sound Hoare logic enable semi-automated functional verification and expected-cost analysis of hybrid quantum programs with unbounded while loops.
In: International conference on computer aided verification
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
quant-ph 2years
2026 2representative citing papers
QSeqSim provides a BDD-based symbolic simulator for Qiskit while-loop programs modeled as sequential quantum circuits, scaling to over 1000 qubits in benchmarks.
citing papers explorer
-
An Effective Quantum Hoare Logic for Hybrid Quantum Programs with Unbounded Loops
Integer hybrid path-sums plus a sound Hoare logic enable semi-automated functional verification and expected-cost analysis of hybrid quantum programs with unbounded while loops.
-
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
QSeqSim provides a BDD-based symbolic simulator for Qiskit while-loop programs modeled as sequential quantum circuits, scaling to over 1000 qubits in benchmarks.