Combined display of all available logs of ProB Documentation.
You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
09:08, 23 April 2024Michael Leuscheltalkcontribs created page B2SAT(Created page with " The current versions of ProB can make use of the new B2SAT backend as an alternate way of solving constraints. It translates a subset of B formulas to SAT and for solving by an external SAT solver. == Using B2SAT == === B2SAT in the REPL === === B2SAT for PROPERTIES === The new preference SOLVER_FOR_PROPERTIES can be used to specify solver for PROPERTIES (axioms) when setting up constants. The valid settings are: prob (the default), kodkod, z3, z3cns, z3axm, cdclt...")
12:02, 22 April 2024Vellatalkcontribs created page Freetypes(Created page with "Freetypes exist in Z and in the Rodin theory plugin and are supported by ProB. You can also define new freetypes in classical B by adding a FREETYPES clause with equations separated by semicolon. Here is a definition of an inductive type IntList for lists of integers constructed using inil and icons: <pre> FREETYPES IntList = inil, icons(INTEGER*IntList) </pre>")
13:00, 6 January 2024Michael Leuscheltalkcontribs created page Monte Carlo Tree Search Game Play(Created page with "As of January 2024 ProB has a built-in algorithm for Monte Carlo Tree Search (MCTS). This can for example be used to perform game playing. In order to make use of MCTS one needs to provide information about the game state of a model by providing DEFINITIONS for: * GAME_OVER: must be TRUE when the game is finished; for a deadlock the game is also considered over (and by default drawn) * GAME_VALUE: must evaluate to a number if GAME_OVER is true. 0 is considered a draw, a...")
12:00, 6 January 2024Michael Leuscheltalkcontribs created page Custom Graph(Created page with "You can visualise the state of an individual B, Z, TLA+ or Alloy model using custom graph definitions which are laid out using GraphViz. Thereby it is possible to specify general graph attributes, the nodes and the edges of the graph.")
11:06, 24 June 2022Michael Leuscheltalkcontribs created page Citing ProB(Created page with " The initial conference publication was: * Michael Leuschel & Michael Butler (2003): ProB: A Model Checker for B. In Keijiro Araki, Stefania Gnesi & Dino Mandrioli, editors:...")
15:23, 15 June 2021David Geleßustalkcontribs created page Handbook(Created page with "This page lets you read the wiki content in a more traditional '''handbook''' format. Each section linked below is a collection of wiki pages related to that topic, combined i...")
08:53, 24 March 2021Michael Leuscheltalkcontribs created page Reals and Floats(Created page with "ProB now supports the Atelier-B datatypes REAL and FLOAT. You can turn off this support via the preference ALLOW_REALS. Standard arithmetic operators can be applied to reals...")
18:20, 27 January 2021Michael Leuscheltalkcontribs deleted page ProB Logic Calculator old(content was: "Below is a ProB-based [http://research.microsoft.com/en-us/um/people/lamport/tla/logic-calculators.html logic calculator]. You can enter predicates and expressions in the upper window (using B syntax), and then press the "Evaluate" button to ask ProB to evaluate the formula. Variables are assumed to be implicitly existentially...", and the only contributor was "Michael Leuschel" (talk))
17:27, 27 January 2021Michael Leuscheltalkcontribs created page BSynthesis(Created page with "= Program Synthesis Program synthesis is the task of generating executable programs from a given specification usually considering a domain specific language. There are many...")
13:49, 27 January 2021Michael Leuscheltalkcontribs created page ReleaseHistory(Created page with " ## Version 1.1.0 (26th of January 2021) ## - now contains VisB directly in the application, VisB has been extended considerably now supporting hovers, more attributes,...")
