Move, Movelang, Move Prover, Formal Verification, Quality Assurance.
found here. Impact of Formal Verification Formal verification has had many positive impacts on the Aptos Framework, providing assurance on the execution of the critical functions, and finding issues before new functionality landed on Aptos Network in production. Before Aptos went to mainnet, we had