---
id: 5688
title: "The Move Prover: a guide"
source_domain: osec.io
source_url: "https://osec.io/blog/move-prover/"
published_at: "2022-09-16T00:00:00Z"
tags: ["smart-contracts", "tutorial", "formal-verification", "move", "move-prover", "z3"]
phying_url: "https://phying.com/item/5688"
lang: en
---

# The Move Prover: a guide

## Summary

OtterSec's practical guide to the Move Prover: how formal verification works, the pipeline from Move Specification Language to Boogie and Z3, and a real-world case study.

## Intelligence Metadata

- **Sources:** osec.io
- **Published:** 2022-09-16T00:00:00Z
- **Original:** https://osec.io/blog/move-prover/
- **Phying News:** https://phying.com/item/5688