Formal Verification of Move Programs for the Libra Blockchain

fields.utoronto.casite

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

from

Move

added

2026-10-10

likes

0

similar

1. ▲
   Verification of Programs Written in Libra's Move Language ethz.ch

   site category #move link ↗
2. ▲
   Move: A Safe Language for Programming with Money youtube.com

   video category #move link ↗

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

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

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

5. ▲
   aoc-move github.com

   tool category #move link ↗

   Advent of Code solutions in Move with some formal verification.

   
6. ▲
   Robust Safety for Move arxiv.org

   site category #move link ↗
   

Move › Videos: “Talk from @DavidLDill at the Fields Institute Blockchain research seminar series.”