Move, Movelang, Move Prover, Formal Verification, Quality Assurance.
verification. We also collaborated with MoveBit in creating formal specifications for large parts of the Framework, which were then verified with the Prover. The verification result is then tracked back to the safety requirement documentation. For example, the table below is part of the high-level