PRISM Models and Properties for Formal Verification of a Synchronisation/Dissemination Protocol


Webster, MP ORCID: 0000-0002-8817-6881, Breza, Michael, Dixon, Clare, Fisher, Michael and McCann, Julie PRISM Models and Properties for Formal Verification of a Synchronisation/Dissemination Protocol. [Software]

[thumbnail of PRISM_code.zip] Archive
PRISM_code.zip - Unspecified
Download (149kB)
Item Type: Software
Depositing User: Symplectic Admin
Date Deposited: 24 May 2018 12:14
Last Modified: 19 Jan 2023 01:33
URI: https://livrepository.liverpool.ac.uk/id/eprint/3021710
Share
CORE (COnnecting REpositories)