User Manual: Difference between revisions

Line 11: Line 11:
{{User_Manual_Index}}
{{User_Manual_Index}}


<!--Edit with Template:User_Manual_Index -->
<!--Edit with Template:User_Manual_Index (type "Template:User_Manual_Index" into Go field to the left and type return) -->


(Also have a look at the tutorial; in particular [[Tutorial First Step|Starting ProB and first animation steps]]).
(Also have a look at the tutorial; in particular [[Tutorial First Step|Starting ProB and first animation steps]]).

Revision as of 16:21, 15 January 2015


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:


(Also have a look at the tutorial; in particular Starting ProB and first animation steps).

Sample Models

Sample Graphics


Feedback

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.