User Manual: Difference between revisions

No edit summary
No edit summary
Line 14: Line 14:


* [[TrainSwitchingPuzzle]]
* [[TrainSwitchingPuzzle]]
== Sample Graphics ==
* [[SiemensComplicatedProp|Siemens Complicated Property Visualized]]

Revision as of 12:52, 25 October 2010


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.

Important notice

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.

Content of this handbook

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:

Sample Models

Sample Graphics