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

Improve this question
1
  • What do you mean by "large number of code"? And by "no solution"? What did you do when no solution had been found? Commented Aug 11, 2016 at 11:14
Related questions
3
Visualizing the code involved in an action?
2
Graphical code analysis
3
Code flow visualization software
Load 7 more related questions Show fewer related questions

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.