CSP code for verification of vVote e-voting system

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.一份可机器读取的通信顺序进程（Communicating Sequential Processes，CSP）代码，用于借助主动入侵者模型（惰性间谍，lazy spy）对vVote电子投票系统模型开展自动化验证。