A Survey on Formal Verification for Solidity Smart Contracts-Reference-Cited by-同舟云学术

A Survey on Formal Verification for Solidity Smart Contracts

Published:2021-02 Issue: Volume: Page:
ISSN:
Container-title:2021 Australasian Computer Science Week Multiconference
language:
Short-container-title:

Author:

Garfatta Ikram¹,Klai Kais²,Gaaloul Walid³,Graiet Mohamed⁴

Affiliation:

1. University of Tunis El Manar Tunisia and University Sorbonne Paris North, France

2. University Sorbonne Paris North, France

3. Telecom SudParis, France

4. University of Monastir, Higher Institute for Computer Science and Mathematics, Tunisia and National School for Statistics and Information Analysis, France, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3437378.3437879

Reference32 articles.

1. [n.d.]. Formal Verification for Solidity Contracts — Ethereum Community Forum. https://forum.ethereum.org/discussion/3779/formal-verification-for-solidity-contracts. [n.d.]. Formal Verification for Solidity Contracts — Ethereum Community Forum. https://forum.ethereum.org/discussion/3779/formal-verification-for-solidity-contracts.

2. [n.d.]. Ropsten. https://ropsten.etherscan.io/. [n.d.]. Ropsten. https://ropsten.etherscan.io/.

3. Saswat Anand Corina S. Pasareanu and Willem Visser. [n.d.]. Symbolic execution with abstraction. Int. J. Softw. Tools Technol. Transf. 11 1 ([n. d.]). Saswat Anand Corina S. Pasareanu and Willem Visser. [n.d.]. Symbolic execution with abstraction. Int. J. Softw. Tools Technol. Transf. 11 1 ([n. d.]).

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. FVF-BIoT: a formal verification framework for blockchain-based IoT authentication;Software Quality Journal;2024-07-20

2. A smart contract vulnerability detection method based on deep learning with opcode sequences;Peer-to-Peer Networking and Applications;2024-06-27

3. (In)Correct Smart Contract Specifications;2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC);2024-05-27

4. SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

5. Modeling and verification of smart contracts with Abstract State Machines;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08