(Created page with '== 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…') |
|||
| Line 1: | Line 1: | ||
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. | |||
== Important notice == | == 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. | 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 [http://asap0.cs.uni-duesseldorf.de/trac/prob/newticket Bug Report]. | You might also want to create a [http://asap0.cs.uni-duesseldorf.de/trac/prob/newticket Bug Report]. | ||
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.