Publisher
Springer International Publishing
Reference42 articles.
1. The Bitcon market capitalisation. https://coinmarketcap.com/currencies/bitcoin/. Accessed 4 May 2021
2. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P.H., Ulbrich, M.: Deductive Software Verification-The KeY Book, vol. 10001. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-49812-6
3. Lecture Notes in Computer Science;W Ahrendt,2020
4. Amani, S., Bégel, M., Bortin, M., Staples, M.: Towards verifying Ethereum smart contract bytecode in Isabelle/HOL. In: CPP, CPP 2018, pp. 66–77. ACM (2018). https://doi.org/10.1145/3167084
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Ballarin,2006
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formalising Decentralised Exchanges in Coq;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
2. SSCalc: A Calculus for Solidity Smart Contracts;Software Engineering and Formal Methods;2023
3. Deductive Verification of Smart Contracts with Dafny;Formal Methods for Industrial Critical Systems;2022
4. Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing;Tests and Proofs;2022