No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
[[Category:User_Manual]] | [[Category:User_Manual|Sort1]] | ||
ProB is a graphical animator and model checker for the B method. The ProB homepage is at [http://www.stups.uni-duesseldorf.de/ProB http://www.stups.uni-duesseldorf.de/ProB], where precompiled binaries, installation instructions and documentation are available. | ProB is a graphical animator and model checker for the B method. The ProB homepage is at [http://www.stups.uni-duesseldorf.de/ProB http://www.stups.uni-duesseldorf.de/ProB], where precompiled binaries, installation instructions and documentation are available. | ||
| Line 11: | Line 11: | ||
<DynamicPageList> | <DynamicPageList> | ||
category = User_Manual | category = User_Manual | ||
ordermethod = category,sortkey | |||
</DynamicPageList> | </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 ordermethod = category,sortkey </DynamicPageList>