Verification of quantum systems using barrier certificates

DOI10.1007/978-3-031-43835-6_24MaRDI QIDQ6546471zbMATH OpenFDO

Authors Marco Lewis, Paolo Zuliani, Sadegh Soudjani

Publication date 29 May 2024

Full work available at URL https://doi.org/10.1007/978-3-031-43835-6_24

zbMATH Keywords

barrier certificatesdynamical systemsquantum systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Quantum computation (81P68)

Recommendations

• Automated equivalence checking of concurrent quantum systems
• Verification of quantum computation: an overview of existing approaches
• Toward automatic verification of quantum programs
• \textsf{symQV}: automated symbolic verification of quantum programs
• Verification of quantum programs

Cites work

• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• An automated deductive verification framework for circuit-building quantum programs
• Automated and formal synthesis of neural barrier certificates for dynamical models
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Comparing Forward and Backward Reachability as Tools for Safety Analysis
• Design of gates for quantum computation: the NOT gate
• Formal Synthesis of Stochastic Systems via Control Barrier Certificates
• Formal verification of quantum algorithms using quantum Hoare logic
• FOSSIL
• scientific article; zbMATH DE number 7699438 (Why is no real title available?)
• Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
• Stability analysis of complex-valued nonlinear differential system

This page was built for publication: Verification of quantum systems using barrier certificates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6546471)