Verification of the CVM algorithm with a New Recursive Analysis Technique. - Emin Karayel; Derek Khu; Kuldeep S. Meel; Yong Kiam Tan; Seng Joe Watt (Arch. Formal Proofs, 2025)