Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
Yuan Feng, Sanjiang Li
Topics & Concepts
Hoare logicQuantum logicComputer scienceDynamic logic (digital electronics)Programming languageComputational logicTheoretical computer scienceMathematicsDescription logicQuantum computerQuantumQuantum mechanicsPhysicsCorrectnessTransistorVoltageLogic, programming, and type systemsQuantum Computing Algorithms and ArchitectureFormal Methods in Verification