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.

Files