User Manual: Difference between revisions

Line 9: Line 9:
* [[Installation]]
* [[Installation]]
* [[Current Limitations]]
* [[Current Limitations]]
* [[General Presentation |General Presentation (tcl/tk)]](tcl/tk)
* General Presentation [[General Presentation (tcl/tk)|(tcl/tk)]] [[General Presentation (Eclipse)|(Eclipse)]]

Revision as of 14:05, 18 November 2009

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