Automated Quantum Program Verification in Dynamic Quantum Logic
Tsubasa Takagi, Canh Minh, Kazuhiro Ogata
Topics & Concepts
Computer scienceTheoretical computer scienceQuantum logicProgramming languageCorrectnessQuantum computerQuantum networkQuantumAlgorithmQuantum mechanicsPhysicsQuantum Computing Algorithms and ArchitectureQuantum Information and CryptographyQuantum Mechanics and Applications