User Manual: Difference between revisions

Revision as of 12:40, 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 </DynamicPageList>

Revision as of 12:39, 18 January 2010 (view source) Jens Bendisposto (talk \| contribs) (→‎Content of this handbook) ← Older edit		Revision as of 12:40, 18 January 2010 (view source) Jens Bendisposto (talk \| contribs) No edit summary Newer edit →
Line 1:		Line 1:
			[[Category:User Manual]]

	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.