08:5308:53, 24 November 2021diffhist+1,299 N
Generating UML Sequence Charts
Created page with "= UML Sequence Charts for Traces ProB has a new experimental feature to generate a UML sequence chart from the current animation trace. It currently only works for classical..."
16:2516:25, 2 October 2021diffhist+679 N
Tips for Large Specifications
Created page with " If you have very large B machines, the following tips can be useful. Indeed, when you have very large B machines with hundreds of thousands or millions of lines of code, the..."
13:4513:45, 28 May 2021diffhist+553 N
Tutorial Tuning Model Checking
Created page with "Page is under construction == Reducing memory usage == You can try to reduce the memory consumption of ProB's model checker by setting the COMPRESSION preference to TRUE. Y..."
06:2706:27, 15 May 2021diffhist+751 N
Caching Constants and Operations
Created page with "ProB can store the values of constants and operations in a cache file. Compared to [Memoization_for_Functions|memoization for functions], this caching is persistant across dif..."
08:5308:53, 24 March 2021diffhist+704 N
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..."
10:0310:03, 4 February 2021diffhist+4,433 N
Prolog vs Java Comparison
Created page with " These are my notes and insights while extending the VisB Java code for new features (optional, ignore, repeat, for attributes, inclusion, and better error reporting) and then..."
17:2717:27, 27 January 2021diffhist+10,821 N
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:4913:49, 27 January 2021diffhist+1,341 N
ProB2-UI Release History
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,..."
08:5708:57, 13 January 2021diffhist+1,157 N
Template:ProBSourceCode
Created page with " The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from: [http://www3.hhu.de/stups/downloads/prob/source/ http://www3.hhu.de/..."
11:5311:53, 9 June 2020diffhist+569 N
LTSmin
Created page with "== LTSmin Extension of ProB == In order to set up LTSmin, do the following: * Download the latest LTSmin release: https://github.com/utwente-fmt/ltsmin/releases and extract..."
