Verification of Programs Written in Libra's Move Language

ethz.chsite

from

Move

added

2026-10-10

likes

0

similar

1. ▲
   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.

2. ▲
   Fast and Reliable Formal Verification of Smart Contracts with the Move Prover arxiv.org

   site category #move link ↗
   
3. ▲
   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.

4. ▲
   The Move Borrow Checker arxiv.org

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

   site category #move link ↗
   
6. ▲
   The Move Programming Language youtube.com

   video · 1 h 1 min · Certora category #move link ↗