一个简单赌场智能合约的验证
计算机科学中的逻辑
2021-06-29 v1
摘要
我们描述了对一个现有简单赌场应用智能合约的验证，使用 Whiley 规范与编程语言，以及基于 Boogie 和 Z3 的全自动验证引擎。在发现并修复该智能合约中若干规范与代码问题后，我们得以验证该智能合约的所有操作。
引用
@article{arxiv.2106.14457,
title = {Verification of a Smart Contract for a Simple Casino},
author = {Mark Utting and Liam Kent},
journal= {arXiv preprint arXiv:2106.14457},
year = {2021}
}
备注
12 pages