User Manual: Difference between revisions

Line 12: Line 12:

<!--Edit with Template:User_Manual_Index -->
<!--Edit with Template:User_Manual_Index -->
(Also have a look at the tutorial; in particular [[Tutorial First Step|Starting ProB and first animation steps]]).

== Sample Models ==
== Sample Models ==

Revision as of 14:46, 15 December 2013

ProB is a graphical animator and model checker for the B method. The ProB homepage is at, 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:

FAQ, Tips and Troubleshootings:

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

Sample Models

Sample Graphics


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.