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]

[img] 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