Model Checking for Verification of Quantum Circuits
Mingsheng Ying
Topics & Concepts
Computer scienceTheoretical computer scienceQuantum circuitQuantumVon Neumann architectureQuantum computerQuantum logicOperator (biology)Semantics (computer science)Model checkingQuantum informationAlgorithmQuantum networkProgramming languageQuantum mechanicsPhysicsTranscription factorGeneRepressorChemistryBiochemistryFormal Methods in VerificationQuantum Computing Algorithms and ArchitectureLogic, programming, and type systems