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.