CODEWITHSUNDEEP
automataspinpromelamodel-checking
Anton Belev
Anton Belev

Reputation: 13613

Producing an automaton image of my Promela model

I'm using the SPIN model checker GUI - iSPIN. The GUI comes with a nice Automaton view generator, however in order to see the full automaton I need to zoom in/out. Also I would like to save that automaton in a nice image (avoid using print screen) if possible. Is there a way to save the produced automaton image from SPIN, or another tool, that can generate an automaton, based on a Promela model?

PS Below is an image showing the produced Automaton image that I would like to save. Obviously I won't be able to recreate it just by print screen. enter image description here

Upvotes: 4

Views: 785

Answers (1)

dejvuth
dejvuth

Reputation: 7146

You can use -D option with pan to generate a file for dot. Try:

./pan -D > pan.dot
dot -Tps pan.dot -o pan.ps

to generate a PS file.

Upvotes: 6

Related Questions