1

I have a problem with visualising large number of code in ProB. This graph shows the login section of a server with (using Graphviz' dotty) of ProB, but there is no solution for large number of code to get the graph. Please let me know your suggestions and ideas,Screenshot of ProB showing the current state

State space visualization

Community
  • 1
  • 1
jo di
  • 41
  • 2
  • What do you mean by "large number of code"? And by "no solution"? What did you do when no solution had been found? – danielp Aug 11 '16 at 11:14

0 Answers0