1. Yang, Z., Lei, H.: Formal process virtual machine for smart contracts verification. arXiv preprint
arXiv:1805.00808
(2018)
2. Yang, Z., Lei, H.: Lolisa: formal syntax and semantics for a subset of the solidity programming language. arXiv preprint
arXiv:1803.09885
(2018)
3. Xi, H., Chen, C., Chen, G.: Guarded recursive datatype constructors. In: ACM SIGPLAN Notices, vol. 38, no. 1. ACM (2003)
4. Wang, J., Zhan, N.J., Feng, X.Y., Liu, Z.M.: Overview of formal methods. Ruan Jian Xue Bao J. Softw. 30(1), 33–61 (2019)
5. The Coq proof assistant.
https://Coq.inria.fr/
. Accessed 3 Nov 2019