Publisher
Springer International Publishing
Reference19 articles.
1. 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, CPP 2018, pp. 66–77. ACM, New York (2018). https://doi.org/10.1145/3167084
2. Lecture Notes in Computer Science;N Atzei,2017
3. Barnett, M., DeLine, R., Fahndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. J. Object Technol. 3, 2004 (2003)
4. Barrett, K., Cassels, B., Haahr, P., Moon, D.A., Playford, K., Withington, P.T.: A monotonic superclass linearization for Dylan. In: Proceedings of the 11th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 1996, pp. 69–82. ACM, New York (1996). https://doi.org/10.1145/236337.236343
5. Bhargavan, K., et al.: Formal verification of smart contracts: short paper. In: ACM Workshop on Programming Languages and Analysis for Security, Vienna, Austria, October 2016. https://doi.org/10.1145/2993600.2993611 , https://hal.inria.fr/hal-01400469
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deductive verification of smart contracts with Dafny;International Journal on Software Tools for Technology Transfer;2024-02-20
2. EVM-Vale: Formal Verification of EVM Bytecode Using Vale;Communications in Computer and Information Science;2024
3. A model of Solidity-style smart contracts in the theorem prover Agda;2023 IEEE International Conference on Artificial Intelligence, Blockchain, and Internet of Things (AIBThings);2023-09-16
4. Axiomatization of Blockchain Theory;Mathematics;2023-07-03
5. Large-Scale Empirical Study of Inline Assembly on 7.6 Million Ethereum Smart Contracts;IEEE Transactions on Software Engineering;2023-02-01