Toward automatic verification of quantum programs (Q667515): Difference between revisions

@@ Property / author @@
+Ming Sheng Ying
@@ Property / author: Ming Sheng Ying / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QML
@@ Property / describes a project that uses: QML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QPL
@@ Property / describes a project that uses: QPL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ScaffCC
@@ Property / describes a project that uses: ScaffCC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LIQUi
@@ Property / describes a project that uses: LIQUi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QPMC
@@ Property / describes a project that uses: QPMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quipper
@@ Property / describes a project that uses: Quipper / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+verifier
@@ Property / describes a project that uses: verifier / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3105304321
@@ Property / OpenAlex ID: W3105304321 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.11610
@@ Property / arXiv ID: 1807.11610 / rank @@
+Normal rank
@@ Property / cites work @@
+One-dimensional quantum walks
@@ Property / cites work: One-dimensional quantum walks / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of sequential and concurrent programs
+Normal rank
@@ Property / cites work @@
+LQP: the dynamic logic of quantum information
@@ Property / cites work: LQP: the dynamic logic of quantum information / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic relational verification for cryptographic implementations
+Normal rank
@@ Property / cites work @@
+Probabilistic relational reasoning for differential privacy
+Normal rank
@@ Property / cites work @@
+DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS
@@ Property / cites work: DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851315
@@ Property / cites work: Q2851315 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum weakest preconditions
@@ Property / cites work: Quantum weakest preconditions / rank @@
+Normal rank
@@ Property / cites work @@
+Proof rules for the correctness of quantum programs
+Normal rank
@@ Property / cites work @@
+Toward Automatic Verification of Quantum Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Model checking quantum Markov chains
@@ Property / cites work: Model checking quantum Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Termination
@@ Property / cites work: Probabilistic Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245484
@@ Property / cites work: Q3245484 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Quantum Programming in Quipper
@@ Property / cites work: An Introduction to Quantum Programming in Quipper / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
+Normal rank
@@ Property / cites work @@
+Hoare logic and auxiliary variables
@@ Property / cites work: Hoare logic and auxiliary variables / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-Invariant Generation for Probabilistic Programs:
+Normal rank
@@ Property / cites work @@
+Semi-automated verification of security proofs of quantum cryptographic protocols
+Normal rank
@@ Property / cites work @@
+A Logic for Formal Verification of Quantum Programs
+Normal rank
@@ Property / cites work @@
+Termination of nondeterministic quantum programs
@@ Property / cites work: Termination of nondeterministic quantum programs / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly complete axiomatization of exogenous quantum propositional logic
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+QWIRE: a core language for quantum circuits
@@ Property / cites work: QWIRE: a core language for quantum circuits / rank @@
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank
@@ Property / cites work @@
+Towards a quantum programming language
@@ Property / cites work: Towards a quantum programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Exact Quantum Algorithms for the Leader Election Problem
+Normal rank
@@ Property / cites work @@
+Commutativity of quantum weakest preconditions
@@ Property / cites work: Commutativity of quantum weakest preconditions / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum loop programs
@@ Property / cites work: Quantum loop programs / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Checking Linear-Time Properties of Quantum Systems
+Normal rank
@@ Property / cites work @@
+Invariants of quantum programs: characterisations and generation
+Normal rank
@@ Property / cites work @@
+Reachability Probabilities of Quantum Markov Chains
+Normal rank
@@ Property / cites work @@
+Reachability and Termination Analysis of Concurrent Quantum Programs
+Normal rank