Ensuring determinism in blockchain software with GoLiSA: an industrial experience report-Reference-Cited by-同舟云学术

Ensuring determinism in blockchain software with GoLiSA: an industrial experience report

Published:2022-06-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
language:
Short-container-title:

Author:

Olivieri Luca¹,Tagliaferro Fabio²,Arceri Vincenzo³,Ruaro Marco⁴,Negrini Luca⁵,Cortesi Agostino⁶,Ferrara Pietro⁶,Spoto Fausto⁷,Talin Enrico⁴

Affiliation:

1. University of Verona, Italy / Corvallis, Italy

2. University of Verona, Italy / Commercio.network, Italy

3. University of Parma, Italy

4. Commercio.network, Italy

5. Ca' Foscari University of Venice, Italy / Corvallis, Italy

6. Ca' Foscari University of Venice, Italy

7. University of Verona, Italy

Publisher

ACM

Link

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

Reference17 articles.

1. Christopher Allen. 2016. The Path to Self-Sovereign Identity. http://www.lifewithalacrity.com/2016/04/the-path-to-self-soverereign-identity.html Christopher Allen. 2016. The Path to Self-Sovereign Identity. http://www.lifewithalacrity.com/2016/04/the-path-to-self-soverereign-identity.html

2. Understanding the motivations, challenges and needs of Blockchain software developers: a survey

3. Ethan Buchman. 2016. Tendermint: Byzantine fault tolerance in the age of blockchains. Ph.D. Dissertation. University of Guelph. Ethan Buchman. 2016. Tendermint: Byzantine fault tolerance in the age of blockchains. Ph.D. Dissertation. University of Guelph.

4. Commercio.network. 2022. Commercio.network - White Paper. https://commercio.network/project/ Commercio.network. 2022. Commercio.network - White Paper. https://commercio.network/project/

5. Abstract interpretation

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

1. Software verification challenges in the blockchain ecosystem;International Journal on Software Tools for Technology Transfer;2024-07-12

2. Design and Implementation of Static Analyses for Tezos Smart Contracts;Distributed Ledger Technologies: Research and Practice;2024-01-29

3. Detection of Phantom Reads in Hyperledger Fabric;IEEE Access;2024

4. MichelsonLiSA: A Static Analyzer for Tezos;2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops);2023-03-13

5. “Fixing” the Specification of Widenings;Intelligent Systems Reference Library;2023