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...
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Artigo |
| Lingua: | Inglês |
| Pubblicazione: |
IEEE
2025-01-01
|
| Serie: | IEEE Access |
| Soggetti: | |
| Accesso online: | https://ieeexplore.ieee.org/document/10949194/ |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|