Recursos de Apoyo
Especificaciones de Biblioteca Estándar y Framework
Sección titulada «Especificaciones de Biblioteca Estándar y Framework»Ejemplos
Sección titulada «Ejemplos»- Ejemplo
hello_prover - Ejemplo
basic-coin - Ejemplo
math-puzzle - Ejemplo
rounding-error - Ejemplo
verify-sort - Ejemplos de Move Prover por Zellic
Tutoriales
Sección titulada «Tutoriales»- El Tutorial de Move, pasos 7 y 8
- Verificar Contratos Inteligentes en Aptos con Move Prover por MoveBit
- El Move Prover: Una Guía Práctica por OtterSec
- Verificación Formal, el Lenguaje Move, y el Move Prover por Certik
- El Move Prover: Aseguramiento de Calidad de Verificación Formal por Certik
Presentaciones
Sección titulada «Presentaciones»- Verificando Contratos Inteligentes con Move Prover por Wolfgang Grieskamp (video)
- Verificación formal de programas Move para la blockchain Libra por David Dill (video)
- Move Prover - Mejores Prácticas y Trucos - Una Perspectiva de Usuario por Xu-Dong@MoveBit (diapositivas)
Artículos de conferencia
Sección titulada «Artículos de conferencia»- Zhong, Jingyi Emma, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark Barrett, y David L. Dill. “The move prover.” En International Conference on Computer Aided Verification, pp. 137-150. Springer, Cham, 2020.Harvard
- Dill, David, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, y Emma Zhong. “Fast and reliable formal verification of smart contracts with the Move prover.” En International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 183-200. Springer, Cham, 2022.Harvard
- Park, Junkil, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, y Robert Chen. “Securing Aptos framework with formal verification.” En 5th International Workshop on Formal Methods for Blockchains (FMBC 2024). Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024.