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.
创建时间：
2024-01-31
