(Link to single-page handbook) |
|||
(3 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
[[Category:User_Manual]] | [[Category:User_Manual]] | ||
__NOTOC__ | __NOTOC__ | ||
ProB is a graphical animator and model checker for the B method. The ProB homepage is at | ProB is a graphical animator and model checker for the B method. The ProB homepage is at https://prob.hhu.de/, where precompiled binaries, installation instructions and documentation are available. | ||
== Important notice == | == Important notice == | ||
If you find a problem with ProB or this documentation please let us know. We are happy to receive suggestions for improvements to ProB or the documentation. | If you find a problem with ProB or this documentation please let us know. We are happy to receive suggestions for improvements to ProB or the documentation. | ||
More information about submitting bug reports is available in the [[Bugs|"bugs" section] | More information about submitting bug reports is available in the [[Bugs|"bugs" section]]. | ||
You can also post a question in our [https://groups.google.com/d/forum/prob-users prob-users group] or send an email to [mailto:Michael.Leuschel@hhu.de Michael Leuschel]. | You can also post a question in our [https://groups.google.com/d/forum/prob-users prob-users group] or send an email to [mailto:Michael.Leuschel@hhu.de Michael Leuschel]. | ||
== | == Single-page handbook == | ||
For those who prefer to read a single long page instead of many small pages, we also have a [[Full Handbook|single-page "handbook"]] version of the manual. '''Warning: the page is large and may take a few seconds to load.''' | |||
== Content of this manual == | == Content of this manual == |
ProB is a graphical animator and model checker for the B method. The ProB homepage is at https://prob.hhu.de/, where precompiled binaries, installation instructions and documentation are available.
If you find a problem with ProB or this documentation please let us know. We are happy to receive suggestions for improvements to ProB or the documentation. More information about submitting bug reports is available in the "bugs" section. You can also post a question in our prob-users group or send an email to Michael Leuschel.
For those who prefer to read a single long page instead of many small pages, we also have a single-page "handbook" version of the manual. Warning: the page is large and may take a few seconds to load.
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).
Some of the examples below are now available as Jupyter notebooks and can be launched using binder. Another repository contains notebooks for teaching. An extensive collection of models for benchmarking is maintained in a Github repository.
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.