From June 2024 to May 2025, I participated in a national-level Student Research Training Program (SRTP) at the Formal Verification Group under the supervision of Dr. Mingshuai Chen. I contributed to the engineering of Parf, a toolkit that automatically tunes abstraction strategies for static program analyzers. The project received an Excellent Completion distinction in the national-level SRTP program.