Securing Aptos Framework with Formal Verification. - Junkil Park; Teng Zhang; Wolfgang Grieskamp; Meng Xu; Gerardo Di Giacomo; Kundu Chen; Yi Lu; Robert Chen (FMBC@CAV, 2024)