Verification of Quantum Systems Using Barrier Certificates
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Topics & Concepts
Computer scienceCorrectnessQuantumSimple (philosophy)Quantum computerTheoretical computer scienceProgramming languageAlgorithmQuantum mechanicsPhysicsPhilosophyEpistemologyQuantum Computing Algorithms and ArchitectureFormal Methods in VerificationLogic, programming, and type systems