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..."