SmartML: Towards a Modeling Language for Smart Contracts
Software Engineering
2024-07-01 v3
Abstract
Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and easy to comprehend. We detail its formal semantics and type system with a focus on its role in addressing security vulnerabilities. We show along a case study, how SmartML contributes to the prevention of reentrancy attacks, illustrating its efficacy in reinforcing the reliability and security of smart contracts within decentralized systems.
Cite
@article{arxiv.2403.06622,
title = {SmartML: Towards a Modeling Language for Smart Contracts},
author = {Adele Veschetti and Richard Bubel and Reiner Hähnle},
journal= {arXiv preprint arXiv:2403.06622},
year = {2024}
}