Verification of quantum systems using barrier certificates

DOI10.1007/978-3-031-43835-6_24MaRDI QIDQ6546471FDOQ6546471

Authors: Marco Lewis, Paolo Zuliani, Sadegh Soudjani 

Publication date: 29 May 2024

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

zbMATH Keywords

dynamical systemsquantum systemsbarrier certificates

Mathematics Subject Classification ID

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

Cites Work

• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Stability analysis of complex-valued nonlinear differential system
• Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
• 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
• Automated and formal synthesis of neural barrier certificates for dynamical models
• Formal Synthesis of Stochastic Systems via Control Barrier Certificates
• An automated deductive verification framework for circuit-building quantum programs
• Formal verification of quantum algorithms using quantum Hoare logic
• Title not available (Why is that?)
• FOSSIL

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)