Move, Movelang, Move Prover, Formal Verification, Quality Assurance.
unknown issues is very low. In contrast to testing, formal verification does not just show the presence of bugs but proves their absence. We have identified and defined various invariants within the modules, significantly enhancing our understanding of their behaviors and their security