Formal Verification of Parameterized Systems based on Induction. - Jiaqi Xiu; Yongjian Li (CoRR, 2025)