Search results

  • File:ProB complete.psf
    ...ontains all subprojects, i.e. ProB code, B-Motion Studio, AnimationScript, Disprover and the Standalone Version
    (17 KB) - 14:10, 9 July 2010
  • ...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 (448 words) - 16:21, 2 October 2021
  • ...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.
    6 KB (1,197 words) - 09:16, 23 December 2016
  • ...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
    8 KB (1,232 words) - 14:53, 7 March 2024
  • 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
    9 KB (1,419 words) - 10:02, 23 February 2024
  • 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,676 words) - 14:13, 15 September 2023
  • 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