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.