www.prismmodelchecker.org
[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.]

Publications