The Move Prover

research.facebook.comsite

from

Move

added

2026-10-10

likes

0

similar

1. ▲
   Move Prover github.com

   site category #move link ↗

   Formal verification of user-defined specifications written in Move source code. Maintained by the Move core team.

2. ▲
   Problem Statement github.com

   site category #move link ↗
3. ▲
   The Move Borrow Checker arxiv.org

   site category #move link ↗
   
4. ▲
   Fast and Reliable Formal Verification of Smart Contracts with the Move Prover arxiv.org

   site category #move link ↗
   
5. ▲
   Move AMA covering Move origin story twitter.com

   site category #move link ↗
6. ▲
   Robust Safety for Move arxiv.org

   site category #move link ↗