Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z

Table 2

The detail of SI.

I
i = 0
i = 1
			i = 2
			i = 3
			i = 4
			i = 5
			i = 6
i = 7