Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+
Smart contracts provide convenience to the financial industry by automating complex transactions without intermediaries. In the context of decentralized finance, ensuring the correctness, reliability, and efficiency of these automated systems is crucial, especially for loan management processes. Thi...
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
IEEE
2025-01-01
|
| Col·lecció: | IEEE Access |
| Matèries: | |
| Accés en línia: | https://ieeexplore.ieee.org/document/10949194/ |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|