| Line 9: | Line 9: | ||
* [[Installation]] | * [[Installation]] | ||
* [[Current Limitations]] | * [[Current Limitations]] | ||
* [[General Presentation | | * General Presentation [[General Presentation (tcl/tk)|(tcl/tk)]] [[General Presentation (Eclipse)|(Eclipse)]] | ||
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.