A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems

Table 1

Encoding: binary versus unary.

	Binary	One-hot
0	000	00000001
1	001	00000010
2	010	00000100
3	011	00001000
4	100	00010000
5	101	00100000
6	110	01000000
7	111	10000000