Robust Safety for Move

arxiv.orgsite

from

Move

added

2026-10-10

likes

0

similar

1. ▲
   The Move Borrow Checker arxiv.org

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

   site category #move link ↗
   
3. ▲
   Problem Statement github.com

   site category #move link ↗
4. ▲
   The Move Prover research.facebook.com

   site category #move link ↗
   
5. ▲
   Verification of Programs Written in Libra's Move Language ethz.ch

   site category #move link ↗
6. ▲
   On evaluating adversarial robustness arxiv.org

   site category #executable-packing link ↗

   (February 2019) :star: