Theoretical and Practical High-Assurance Software Tools for Quantum Applications - Peng, Yuxiang (ProQuest Dissertations and Theses, 2024)