symQV: Automated Symbolic Verification of Quantum Programs
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
Topics & Concepts
Computer scienceProgramming languageSymbolic executionTheoretical computer scienceSoftware engineeringSoftwareQuantum Computing Algorithms and ArchitectureParallel Computing and Optimization TechniquesComputability, Logic, AI Algorithms