VeriQ is a toolchain for verification of quantum computing, focusing on the following three aspects:
Latest News
Our paper Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs has been selected as Distinguished Paper at LICS 2022, the 37th Annual ACM/IEEE Symposium on Logic in Computer Science.
Our paper Verifying Fairness in Quantum Machine Learning has been accepted at CAV’22, the 34th International Conference on Computer Aided Verification. This is the only one accepted work in the field of quantum computing at CAV’22