#formal-verification

3 posts tagged with formal-verification.

Solana formal verification: a case study

We present a novel framework for formal verification of Solana Anchor programs — and a case study application to the Squads multisig. Harrison Green

The Move Prover: a guide

A practical guide to the Move Prover — tutorial, case study, and specifications. Robert Chen

Move: an auditor’s introduction

What actually makes Move secure? A discussion of Move’s typing system and formal verification. Robert Chen