Technical Perspective: A Symbolic Approach to Verifying Quantum Systems