Predicate abstractions for smart contract validation-Reference-Cited by-同舟云学术

Predicate abstractions for smart contract validation

Published:2022-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Godoy Javier¹,Galeotti Juan Pablo¹,Garbervetsky Diego¹,Uchitel Sebastian²

Affiliation:

1. UBA, Buenos Aires, Argentina

2. UBA, Buenos Aires, Argentina and Imperial College London, London, UK

Funder

ANPCYT

CONICET

UBACYT

Publisher

ACM

Link

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

Reference40 articles.

1. 2016. Analysis of the dao exploit. http://hackingdistributed.com/2016/06/18/analysis-of-thedao-exploit/ 2016. Analysis of the dao exploit. http://hackingdistributed.com/2016/06/18/analysis-of-thedao-exploit/

2. 2016. The dao smart contract. http://etherscan.io/address/0xbb9bc244d798123fde783fcc1c72d3bb8c189413 2016. The dao smart contract. http://etherscan.io/address/0xbb9bc244d798123fde783fcc1c72d3bb8c189413

3. 2017. Azure Blockchain Workbench. https://github.com/Azure-Samples/blockchain/tree/master/blockchain-workbench/application-and-smart-contract-samples 2017. Azure Blockchain Workbench. https://github.com/Azure-Samples/blockchain/tree/master/blockchain-workbench/application-and-smart-contract-samples

4. OMG Unified Modeling Language;Version,2017

5. 2018. Smart Contract Best Practices Revisited: Block Number vs. Times-tamp. https://medium.com/@phillipgoldberg/smart-contract-best-practices-revisited-block-number-vs-timestamp-648905104323 2018. Smart Contract Best Practices Revisited: Block Number vs. Times-tamp. https://medium.com/@phillipgoldberg/smart-contract-best-practices-revisited-block-number-vs-timestamp-648905104323

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

1. TRAC: A Tool for Data-Aware Coordination;Lecture Notes in Computer Science;2024