Author:
Ribeiro Maria,Adão Pedro,Mateus Paulo
Publisher
Springer International Publishing
Reference27 articles.
1. Amani, S., Bégel, M., Bortin, M., Staples, M.: Towards verifying Ethereum smart contract bytecode in Isabelle/HOL. In: CPP 2018, pp. 66–77. ACM (2018)
2. Lecture Notes in Computer Science;M Bartoletti,2019
3. Bhargavan, K., et al.: Formal verification of smart contracts: short paper. In: PLAS 2016, pp. 91–96. ACM (2016)
4. Buterin, V.: Ethereum: a next-generation cryptocurrency and decentralized application platform
5. Cook, S.A.: Soundness and completeness of an axiom system for program verification. SIAM J. Comput. 7, 70–90 (1978)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献