Verification of Distributed Quantum Programs

DOI10.1145/3517145OpenAlexW4220843399MaRDI QIDQ5072611

Sanjiang Li, Ming Sheng Ying, Yuan Feng

Publication date: 29 April 2022

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2104.14796

zbMATH Keywords

formal verificationdistributed computingHoare logicquantum programming

Mathematics Subject Classification ID

Quantum computation (81P68) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Quantum algorithms and complexity in the theory of computing (68Q12)

Related Items (1)

Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs

This page was built for publication: Verification of Distributed Quantum Programs