The Sui Prover is a tool for formally verifying the correctness of Move smart contracts on the Sui blockchain. It is based on the Boogie verification engine and the Z3 SMT solver.
Sui Prover Guide
Sui Prover Reference
Sui Prover FAQ
Move Prover Demo + Workshop