| 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]]). | ||
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.