Move, Movelang, Move Prover, Formal Verification, Quality Assurance.
high-level security requirements were eventually formally verified. During this work, we also found bugs and usability issues in the Move Prover, which have been fixed to the benefit of all users of Aptos Move. This combined work gives the Aptos Framework an unmatched level of quality assurance in