Move, Movelang, Move Prover, Formal Verification, Quality Assurance.
not hold. The Prover is fast and reliable, and can be used routinely during smart contract development, making the experience of running the Prover similar to the experience of running compilers, linters, type checkers, and other development tools. The Move Specification Language The Move