Move, Movelang, Move Prover, Formal Verification, Quality Assurance.
contract. What have we Achieved? From Security Requirement to Verification: The first thing to highlight is that we have identified the high-level security requirements of each module of the Aptos framework and verified them using the Prover. We collaborated with OtterSec in auditing the Aptos