\textsf{symQV}: automated symbolic verification of quantum programs
type: Item
instance of: scholarly article
title: \textsf{symQV}: automated symbolic verification of quantum programs
zbMATH Open document ID: 1529.68152
arXiv ID: 2212.02267
DOI: 10.1007/978-3-031-27481-7_12
author: Fabian Bauer-Marquart
author: Stefan Leue
author: Christian Schilling
published in: Formal Methods
publication date: 2023-08-17T00:00:00Z
full work available at URL: https://arxiv.org/abs/2212.02267
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68V15
Mathematics Subject Classification ID: 81P68
zbMATH DE Number: 7728843
zbMATH Keywords: quantum computing
zbMATH Keywords: formal verification
zbMATH Keywords: symbolic execution
zbMATH Keywords: abstraction
MaRDI profile type: MaRDI publication profile
cites work: Q3385623
cites work: Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
cites work: An automated deductive verification framework for circuit-building quantum programs
cites work: Toward the first quantum simulation with quantum speedup
cites work: Handbook of Model Checking
cites work: Q3002797
cites work: δ-Complete Decision Procedures for Satisfiability over the Reals
cites work: dReal: An SMT Solver for Nonlinear Theories over the Reals
cites work: Q4228473
cites work: Q6099610
cites work: Formal verification of quantum algorithms using quantum Hoare logic
cites work: \(Q|SI\rangle \): a quantum programming environment
cites work: Q2706552
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Q3384929
cites work: Some undecidable problems involving elementary functions of a real variable
cites work: Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
cites work: SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
description: scientific article; zbMATH DE number 7728843