VeriQ

Verification Toolchain for Quantum Computing

VeriQ is a toolchain for verification of quantum computing, focusing on the following three aspects:

QDA (Design Automation for Quantum Computing)

Quantum Programs Verification and Analysis

Trustworthy Quantum Artificial Intelligence


Latest News

Paper accepted at LICS'22

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.

Paper accepted at CAV'22

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