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