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...

Full description

Bibliographic Details

Published in:	IEEE Access
Main Authors:	Seongho Yoon, Jin-Young Choi
Format:	Article
Language:	English
Published:	IEEE 2025-01-01
Subjects:	Smart contracts decentralized finance TLA+ formal specification formal verification loan management
Online Access:	https://ieeexplore.ieee.org/document/10949194/