Publisher
Springer International Publishing
Reference28 articles.
1. Amani, S., Bégel, M., Bortin, M., Staples, M.: Towards verifying ethereum smart contract bytecode in Isabelle/HOL. In: Andronick, J., Felty, A.P. (eds.) Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, 8–9 January 2018, pp. 66–77. ACM (2018). https://doi.org/10.1145/3167084
2. Andrici, C., Ciobâcă, Ş.: Verifying the DPLL algorithm in Dafny. In: Marin, M., Craciun, A. (eds.) Proceedings Third Symposium on Working Formal Methods, FROM 2019, EPTCS, Timişoara, Romania, 3–5 September 2019, vol. 303, pp. 3–15 (2019). https://doi.org/10.4204/EPTCS.303.1
3. Bugrara, S.: A review of the deposit contract (2020). https://github.com/suhabe/eth-deposit-contract-vyper-review/blob/master/EthDepositContractVyperReview.pdf
4. Buterin, V.: Progressive Merkle tree. https://github.com/ethereum/research/ blob/master/beacon_chain_impl/progressive_merkle_tree.py
5. Lecture Notes in Computer Science;X Chen,2020
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Leveraging Large Language Models to Boost Dafny’s Developers Productivity;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
2. Deductive verification of smart contracts with Dafny;International Journal on Software Tools for Technology Transfer;2024-02-20
3. Verification of Scapegoat Trees Using Dafny;Lecture Notes in Computer Science;2024
4. Exploring Automatic Specification Repair in Dafny Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW);2023-09-11
5. Deductive Verification of Smart Contracts with Dafny;Formal Methods for Industrial Critical Systems;2022