|
[FKO03]
I. A. Fedotov, A. S. Khritanko and M. D. Obidare.
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems.
Programming and Computer Software, 49.
2023.
[Proposes an approach to analyse multi-party agreements for distributed ledger systems based on PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|