Search results

  • ...ication for a wide range of errors. The constraint-solving capabilities of ProB can also be used for model finding, [[Constraint_Based_Checking|deadlock ch In addition to the B language, ProB also supports [http://www.event-b.org/ Event-B], [http://en.wikipedia.org/w
    5 KB (731 words) - 17:08, 19 September 2018
  • [[Category:ProB Tcl Tk]] ProB is a flexible and extensible validation tool for high-level specification f
    3 KB (392 words) - 14:52, 26 January 2016
  • [[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.
    38 KB (5,489 words) - 15:46, 4 January 2017
  • We believe the Disprover to be useful. The disprover plugin is currently still experimental when used as a prover. The ProB Disprover plugin for RODIN utilizes the ProB animator and model checker to automatically find counterexamples
    2 KB (344 words) - 11:21, 7 September 2015
  • ...find links to benchmarks (sometimes with raw data) we produced to evaluate ProB. [[sefm2015|Disprover]]
    119 bytes (18 words) - 13:16, 26 March 2015
  • {{DISPLAYTITLE:Benchmarks for the ProB (Dis)prover}} [[Category:ProB Disprover]]
    4 KB (528 words) - 12:47, 27 March 2015
  • 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 (171 words) - 11:14, 21 January 2016
  • Full ProB release history until release 1.8.0: - allow to replay JSON trace files and to export to JSON trace files in ProB Tcl/Tk
    49 KB (7,576 words) - 15:11, 9 July 2018
  • ...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) - 11:16, 23 December 2016