Author:
Garfatta Ikram,Klai Kaïs,Graïet Mahamed,Gaaloul Walid
Publisher
Springer International Publishing
Reference14 articles.
1. Solidity documentation. https://solidity.readthedocs.io/en/latest/
2. Formal verification for solidity contracts - ethereum community forum, October 2015. https://forum.ethereum.org/discussion/3779/formal-verification-for-solidity-contracts
3. Amani, S., Bégel, M., Bortin, M., Staples, M.: Towards verifying ethereum smart contract bytecode in isabelle/hol. In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 66–77 (2018)
4. Bhargavan, K., et al.: Formal verification of smart contracts: short paper. In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, 24 October 2016, pp. 91–96 (2016)
5. Chen, T., Li, X., Luo, X., Zhang, X.: Under-optimized smart contracts devour your money. In: IEEE 24th International Conference on Software Analysis, Evolution and Reengineering, SANER 2017, Austria, 20–24 February 2017, pp. 442–446 (2017)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. FVF-BIoT: a formal verification framework for blockchain-based IoT authentication;Software Quality Journal;2024-07-20
2. Model checking of vulnerabilities in smart contracts;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25
3. On the use of Petri Nets in Smart Contracts modeling, generation and verification;2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2022-03
4. A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts;2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE);2021-10