CSP code for verification of vVote e-voting system
Published: 15-12-2017| Version 1 | DOI: 10.17632/kd6prht9h5.1
Contributor:
Murat Moran
Description
A machine readable Communicating Sequential Processes (CSP) code for the automated verification of vVote e-voting system model using an active intruder model, lazy spy.