User Manual

Revision as of 15:05, 9 November 2009 by Jens Bendisposto (talk | contribs)

ProB is a graphical animator and model checker for the B method. The ProB homepage is at, 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.