nLab Yuan Feng

Selected writings

Selected writings

Introducing the QPMC quantum protocol model checker:

  • Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang, QPMC: A Model Checker for Quantum Programs and Protocols, in Formal Methods. FM 2015, Lecture Notes in Computer Science 9109, Springer (2015) [doi:10.1007/978-3-319-19249-9_17]

On software verification in quantum computing, hence with/of quantum programming languages:

On quantum software verification with the Coq proof assistant:

category: people

Created on March 3, 2023 at 07:59:27. See the history of this page for a list of all contributions to it.