Smart Contracts Formal Verification: A Systematic Literature Review
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911222555738112 |
|---|---|
| author | Davila, Rene Barcenas, Everardo Aldeco-Perez, Rocio |
| author_facet | Davila, Rene Barcenas, Everardo Aldeco-Perez, Rocio |
| contents | Formal verification entails testing software to ensure it operates as specified. Smart contracts are self-executing contracts with the terms of the agreement directly written into lines of code. They run on blockchain platforms and automatically enforce and execute the terms of an agreement when meeting predefined conditions. However, Smart Contracts, as software models, often contain notable errors in their operation or specifications. This observation prompts us to conduct a focused study examining related works published across various sources. These publications detail specifications, verification tools, and relevant experiments. Subsequently, this survey proposes an alternative formal verification based on description logic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_17865 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Smart Contracts Formal Verification: A Systematic Literature Review Davila, Rene Barcenas, Everardo Aldeco-Perez, Rocio Software Engineering Logic in Computer Science Formal verification entails testing software to ensure it operates as specified. Smart contracts are self-executing contracts with the terms of the agreement directly written into lines of code. They run on blockchain platforms and automatically enforce and execute the terms of an agreement when meeting predefined conditions. However, Smart Contracts, as software models, often contain notable errors in their operation or specifications. This observation prompts us to conduct a focused study examining related works published across various sources. These publications detail specifications, verification tools, and relevant experiments. Subsequently, this survey proposes an alternative formal verification based on description logic. |
| title | Smart Contracts Formal Verification: A Systematic Literature Review |
| topic | Software Engineering Logic in Computer Science |
| url | https://arxiv.org/abs/2510.17865 |