Pages that link to "Item:Q667515"
From MaRDI portal
The following pages link to Toward automatic verification of quantum programs (Q667515):
Displaying 10 items.
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- Demonstration of quantum nonlocality for multi-qubit systems via quantum programming (Q2197052) (← links)
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Proof rules for the correctness of quantum programs (Q2455601) (← links)
- Certified quantum computation in Isabelle/HOL (Q2666954) (← links)
- Reasoning about imperative quantum programs (Q2851315) (← links)
- Verification of Distributed Quantum Programs (Q5072611) (← links)
- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation (Q5237220) (← links)
- Invariants of quantum programs: characterisations and generation (Q5370916) (← links)