VeriQ is a toolchain for verification of quantum computing, focusing on the following three aspects:
Latest News
Our papers Formal Verification of Quantum Ancilla Safety and Model Checking Matrix Product States Against Linear Chain Logic have been accepted at CAV 2026, the 38th International Conference on Computer Aided Verification.
Our paper QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits has been accepted at FM 2026, the 27th International Symposium on Formal Methods.
Our paper Optimal Mechanisms for Quantum Local Differential Privacy has been accepted at CCS 2025, the 32nd ACM Conference on Computer and Communications Security.