...find links to benchmarks (sometimes with raw data) we produced to evaluate ProB.
[[sefm2015|Disprover]]
...
119 bytes (18 words) - 11:16, 26 March 2015
What is the relationship between Rodin proof obligations (POs) and ProB.
In short, ProB can be made to check individual proof obligations.
...
3 KB (508 words) - 12:44, 5 March 2020
We believe the Disprover to be useful to find counter examples and avoid spending time to try and pr
...sets which are not fixed) the disprover will never be able to prove it (as ProB only checks one particular cardinality of the deferred set).
...
5 KB (759 words) - 11:56, 19 December 2022
In addition to classical B (aka B for software development), ProB also supports Event-B and the Rodin platform.
...porting|export contexts and models]] as *.eventb files and use them within ProB Tcl/Tk and the command-line version [[Using_the_Command-Line_Version_of_Pro
...
1 KB (190 words) - 14:51, 4 February 2021
* [[Tutorial Disprover]]
= [[ProB for Event-B]] =
...
680 bytes (68 words) - 13:23, 8 January 2024
{{DISPLAYTITLE:Benchmarks for the ProB (Dis)prover}}
[[Category:ProB Disprover]]
...
4 KB (528 words) - 15:30, 3 February 2021
[[Category:ProB Tcl Tk]]
ProB is a flexible and extensible validation tool for high-level specification f
...
3 KB (456 words) - 06:50, 22 February 2025
...s command <tt>-repl</tt> or by starting the [[Eval_Console|Eval Console in ProB Tcl/Tk]].
See the beginning of [[Sudoku Solved in the ProB REPL]] for more details about how to start the REPL.
...
9 KB (1,609 words) - 06:57, 8 February 2025
...ow-how/b-method/?lang=en B-Method]. The constraint-solving capabilities of ProB can be used for animation, model finding, [[Constraint_Based_Checking|const
In addition to the B language, ProB also supports [http://www.event-b.org/ Event-B], [http://en.wikipedia.org/w
...
9 KB (1,251 words) - 10:33, 20 February 2025
ProB Tcl/Tk can be installed as a plugin for Atelier B, so that ProB can be launched directly from within [http://www.atelierb.eu/ Atelier B] pr
...erform the menu command "Install AtelierB 4 Plugin..." in the Help menu of ProB Tcl/Tk. This will create a file called <tt>probtclk.etool</tt> in an exten
...
10 KB (1,642 words) - 11:47, 14 March 2025
VALUE and DESCRIPTION of 189 ProB PREFERENCES
ALLOW_INCOMPLETE_SETUP_CONSTANTS = false : bool ==> Allow ProB to proceed even if only part of the CONSTANTS have been found.
...
22 KB (3,056 words) - 09:54, 24 August 2021
[[Category:ProB Cli]]
...f the standalone Tcl/Tk Version via the command-line. As such, you can run ProB from your shell scripts or in your Makefiles.
...
40 KB (5,742 words) - 07:56, 31 March 2025
Full ProB release history:
- export of comments for events, invariants, axioms and theorems from ProB for Rodin as description pragmas
...
76 KB (11,706 words) - 14:34, 22 February 2024