Symbol Table
Symbol Table
option in the Menu Bar Run command uses the Spin
-d
option for producing symbol table information for the Promela model. The information for each Promela object depends on its type.