Promela and Model Description
5) Data types
bit or bool,
range(0..1)
byte, short,
range(0..266), range(-2^15 - 1 .. 2^15 – 1)
int,
range(-2^31 - 1 .. 2^31 – 1)
Array type
ex1:
byte A[N]
Process type
ex1:
proctype A() {
byte state;
state = 3
}