Author:
Schiffl Jonas,Ahrendt Wolfgang,Beckert Bernhard,Bubel Richard
Publisher
Springer International Publishing
Reference20 articles.
1. Lecture Notes in Computer Science,2016
2. Lecture Notes in Computer Science;W Ahrendt,2019
3. Lecture Notes in Computer Science;E Albert,2020
4. Androulaki, E., et al.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, pp. 30:1–30:15. ACM (2018). https://doi.org/10.1145/3190508.3190538
5. Beckert, B., Herda, M., Kirsten, M., Schiffl, J.: Formal specification and verification of hyperledger fabric chaincode. In: Bai, G., Biswas, K. (eds.) 3rd Symposium on Distributed Ledger Technology (SDLT-2018) Co-Located with ICFEM 2018: the 20th International Conference on Formal Engineering Methods, November 2018. https://symposium-dlt.org/
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deductive verification of smart contracts with Dafny;International Journal on Software Tools for Technology Transfer;2024-02-20
2. Monitoring the Future of Smart Contracts;Lecture Notes in Computer Science;2024
3. Model Checking of Hyperledger Fabric Smart Contracts;2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA);2023-09-12
4. A unified proof technique for verifying program correctness with big-step semantics;Journal of Systems Architecture;2023-03
5. Deductive Verification of Smart Contracts with Dafny;Formal Methods for Industrial Critical Systems;2022