Move, Movelang, Move Prover, Formal Verification, Quality Assurance.
function can be found here. A number of issues were found during the specification and verification of the code. The code had already undergone unit testing and auditing, resulting in a relatively small number of new findings. However, formal verification ensures that the probability of further