Auto-Active Relational Verification and Alignment Completeness - Nagasamudram, Ramana (ProQuest Dissertations and Theses, 2025)