Line 29: | Line 29: | ||
* [[Cheryl's Birthday]] | * [[Cheryl's Birthday]] | ||
* [[Blocks World (Directed Model Checking)]] | * [[Blocks World (Directed Model Checking)]] | ||
* [[Nine Prisoners|Nine Prisoners Puzzle by Dudeney and Gardner]] | |||
== Sample Graphics == | == Sample Graphics == |
ProB is a graphical animator and model checker for the B method. The ProB homepage is at http://www.stups.uni-duesseldorf.de/ProB, where precompiled binaries, installation instructions and documentation are available.
If you find a problem with ProB please let us know. We are happy to receive suggestions for improvements to ProB or the documentation.
You might also want to create a Bug Report.
Animation and Visualisation with ProB:
Validation with ProB:
Other Interfaces to ProB:
ProB and Other Tools:
ProB for Other Languages:
Advanced Features of ProB:
Advanced Visualization Features of ProB:
FAQ, Tips and Troubleshootings:
(Also have a look at the tutorial; in particular Starting ProB and first animation steps).
Please help us to improve this documentation by providing feedback in our bug tracker, asking questions in our prob-users group or sending an email to Michael Leuschel.