dogear

enter for all results · esc to close

Fast and Reliable Formal Verification of Smart Contracts with the Move Prover

arxiv.orgsite

visit arxiv.org ↗
0
sign in to dogear this
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. Formal Verification of Move Programs for the Libra Blockchain fields.utoronto.ca
    site category #move link ↗

    Talk from @DavidLDill at the Fields Institute Blockchain research seminar series.

  3. Robust Safety for Move arxiv.org
    site category #move link ↗
  4. The Move Borrow Checker arxiv.org
    site category #move link ↗
  5. Verification of Programs Written in Libra's Move Language ethz.ch
    site category #move link ↗
  6. The Move Prover research.facebook.com
    site category #move link ↗