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...
Na minha lista:
| Principais autores: | , |
|---|---|
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
IEEE
2025-01-01
|
| Serier: | IEEE Access |
| Fag: | |
| Online adgang: | https://ieeexplore.ieee.org/document/10949194/ |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|