User contributions for Michael Leuschel

2 October 2021

• 16:3616:36, 2 October 2021 diff hist +10‎ Tips for Large Specifications ‎ →‎Influencing the Java Parser
• 16:3616:36, 2 October 2021 diff hist +57‎ Tips for Large Specifications ‎ →‎Speeding up the Loading Process
• 16:3516:35, 2 October 2021 diff hist +1,653‎ Tips for Large Specifications ‎No edit summary
• 16:2516:25, 2 October 2021 diff hist +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..."
• 16:2116:21, 2 October 2021 diff hist +36‎ Tutorial ‎No edit summary
• 16:1716:17, 2 October 2021 diff hist +107‎ Caching Constants and Operations ‎No edit summary

10 September 2021

• 15:1915:19, 10 September 2021 diff hist +76‎ Tutorial Tuning Model Checking ‎ →‎Operation Caching (Reuse) current

6 September 2021

• 08:5208:52, 6 September 2021 diff hist +997‎ Tutorial Tuning Model Checking ‎ →‎Operation Caching (Reuse)
• 08:4908:49, 6 September 2021 diff hist +321‎ Tutorial Tuning Model Checking ‎ →‎Operation Caching (Reuse)

24 August 2021

• 09:5409:54, 24 August 2021 diff hist +20,043‎ Glossary:Advanced Preferences ‎No edit summary current

19 August 2021

• 09:2309:23, 19 August 2021 diff hist +130‎ Using ProB with Atelier B ‎ →‎Limitations
• 09:2309:23, 19 August 2021 diff hist +130‎ Current Limitations ‎No edit summary

12 August 2021

• 15:1815:18, 12 August 2021 diff hist +340‎ ProB Release History ‎No edit summary

8 July 2021

• 14:5814:58, 8 July 2021 diff hist +240‎ Running ProB from source ‎ →‎ProB Prolog compile time flags
• 14:4014:40, 8 July 2021 diff hist +1,299‎ Running ProB from source ‎ →‎Running ProB with SWI Prolog
• 14:3114:31, 8 July 2021 diff hist +924‎ Running ProB from source ‎ →‎Starting ProB with SWI Prolog
• 14:2414:24, 8 July 2021 diff hist +268‎ Running ProB from source ‎ →‎Starting ProB with SWI Prolog
• 11:5011:50, 8 July 2021 diff hist +551‎ Running ProB from source ‎ →‎Compiling SWI Prolog
• 11:4811:48, 8 July 2021 diff hist +566‎ Running ProB from source ‎No edit summary

7 July 2021

• 07:5107:51, 7 July 2021 diff hist −213‎ Installation ‎No edit summary

26 June 2021

• 08:2708:27, 26 June 2021 diff hist −4‎ Summary of B Syntax ‎ →‎Reals:

24 June 2021

• 15:5715:57, 24 June 2021 diff hist −2‎ LTL Model Checking ‎ →‎Summary of CTL Syntax supported by ProB
• 15:5715:57, 24 June 2021 diff hist −32‎ LTL Model Checking ‎No edit summary
• 15:5515:55, 24 June 2021 diff hist +514‎ LTL Model Checking ‎ →‎Summary of CTL Syntax supported by ProB

8 June 2021

• 12:2812:28, 8 June 2021 diff hist +145‎ Tutorial Troubleshooting the Setup ‎ →‎A few more tips
• 12:2712:27, 8 June 2021 diff hist +457‎ Tutorial Troubleshooting the Setup ‎No edit summary

2 June 2021

• 10:0210:02, 2 June 2021 diff hist −3‎ LTL Model Checking ‎No edit summary

29 May 2021

• 08:5708:57, 29 May 2021 diff hist +27‎ Tutorial Tuning Model Checking ‎ →‎Using other model checking backends (TLC and LTSmin)
• 08:5608:56, 29 May 2021 diff hist +1,030‎ Tutorial Tuning Model Checking ‎ →‎Symmetry Reduction
• 08:5008:50, 29 May 2021 diff hist +68‎ Tutorial Tuning Model Checking ‎ →‎Symmetry Reduction
• 08:4808:48, 29 May 2021 diff hist +870‎ Tutorial Tuning Model Checking ‎ →‎Symmetry Reduction
• 08:4508:45, 29 May 2021 diff hist −53‎ Tutorial Tuning Model Checking ‎ →‎Operation Caching (Reuse)
• 08:3608:36, 29 May 2021 diff hist +3‎ Tutorial Tuning Model Checking ‎ →‎Partial Order Reduction
• 08:3608:36, 29 May 2021 diff hist +512‎ Tutorial Tuning Model Checking ‎ →‎Partial Order Reduction
• 08:3308:33, 29 May 2021 diff hist +663‎ Tutorial Tuning Model Checking ‎ →‎Operation Caching (Reuse)
• 08:3108:31, 29 May 2021 diff hist +95‎ Tutorial Tuning Model Checking ‎ →‎Using other model checking backends (TLC and LTSmin)
• 08:1908:19, 29 May 2021 diff hist +398‎ Tutorial Tuning Model Checking ‎ →‎Using COMPRESSION
• 08:1308:13, 29 May 2021 diff hist +22‎ ParB ‎No edit summary current
• 08:1208:12, 29 May 2021 diff hist +72‎ Tutorial Tuning Model Checking ‎ →‎Using other model checking backends (TLC and LTSmin)
• 08:0408:04, 29 May 2021 diff hist +19‎ Tutorial Tuning Model Checking ‎ →‎Finding reasons for large state spaces
• 08:0408:04, 29 May 2021 diff hist +217‎ Tutorial Tuning Model Checking ‎No edit summary
• 07:5907:59, 29 May 2021 diff hist +1,341‎ Tutorial Tuning Model Checking ‎No edit summary
• 07:4907:49, 29 May 2021 diff hist +367‎ Tutorial Tuning Model Checking ‎No edit summary
• 07:4507:45, 29 May 2021 diff hist +1,653‎ Tutorial Tuning Model Checking ‎No edit summary
• 07:0407:04, 29 May 2021 diff hist +343‎ Tutorial Tuning Model Checking ‎No edit summary
• 06:5806:58, 29 May 2021 diff hist +3,272‎ Tutorial Tuning Model Checking ‎No edit summary
• 06:4306:43, 29 May 2021 diff hist +743‎ Tutorial Tuning Model Checking ‎No edit summary
• 06:3606:36, 29 May 2021 diff hist +2,019‎ Tutorial Tuning Model Checking ‎ →‎Reducing memory usage

28 May 2021

• 13:4613:46, 28 May 2021 diff hist +117‎ Tutorial Tuning Model Checking ‎ →‎Reducing memory usage
• 13:4513:45, 28 May 2021 diff hist +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..."