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...
Spremljeno u:
| Glavni autori: | , |
|---|---|
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
IEEE
2025-01-01
|
| Serija: | IEEE Access |
| Teme: | |
| Online pristup: | https://ieeexplore.ieee.org/document/10949194/ |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|