User Manual: Difference between revisions

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>

Revision as of 12:53, 18 January 2010


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.

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

<DynamicPageList> category = User_Manual ordermethod = category,sortkey </DynamicPageList>