A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems
Table 2
The maximum process number solved by different encodings. As presented in Section 4.3, one-hot encoding is used for unary. Six parameterized protocols are used to test the performance, and the maximum process number is represented in the table. All results are collected by running Algorithm 1.