m (moved User Manual:Start to User Manual over redirect) |
|||
| Line 7: | Line 7: | ||
== Content of this handbook == | == Content of this handbook == | ||
<DynamicPageList> | |||
category = User Manual | |||
</DynamicPageList> | |||
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.
<DynamicPageList> category = User Manual </DynamicPageList>