Move Proverサポートリソース
標準ライブラリとフレームワークの仕様
例
チュートリアル
- Moveチュートリアル,ステップ7と8
- MoveBitのMoveProverを使用してAptosのスマートコントラクトを検証する
- The Move Prover: OtterSecによる実践ガイド
- 形式検証、Move 言語、Certik による Move 証明器
- Move Prover: Certik による形式検証の品質保証
プレゼンテーション
- Move Proverを使用したスマートコントラクトの検証(Wolfgang Grieskamp著、ビデオ)
- David Dill による Libra ブロックチェーンの Move プログラムの形式検証 (ビデオ)
- Move Prover - ベストプラクティスとコツ - ユーザーの視点 by Xu-Dong@MoveBit(スライド)
会議論文
- Zhong、Jingyi Emma、Kevin Cheang、Shaz Qadeer、Wolfgang Grieskamp、Sam Blackshear、Junkil Park、Yoni Zohar、Clark Barrett、David L. Dill。 「The move prover」。_コンピューター支援検証に関する国際会議_で。 pp. 137-150. Springer, Cham, 2020.Harvard
- Dill、David、Wolfgang Grieskamp、Junkil Park、Shaz Qadeer、Meng Xu、Emma Zhong。 「Move proverによるスマートコントラクトの高速かつ信頼性の高い形式検証」_システムの構築と分析のためのツールとアルゴリズムに関する国際会議_で。 pp. 183-200. Springer, Cham, 2022.Harvard