Move, Movelang, Move Prover, Formal Verification, Quality Assurance.
by Aptos Labs, MoveBit, and OtterSec The Aptos Framework has continuously undergone rigorous testing and comprehensive auditing. To further increase the level of assurance, we have formally verified its security and correctness. We worked with OtterSec in auditing the Aptos Framework and