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