User contributions for Michael Leuschel

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)

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

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

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

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

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

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

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

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

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

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

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..."
13:4213:42, 28 May 2021 diff hist +64 Tutorial No edit summary

07:2107:21, 25 May 2021 diff hist +49 ProB2-UI →Features

15:5415:54, 24 May 2021 diff hist 0 ProB2-UI →Features
15:5315:53, 24 May 2021 diff hist +15 ProB2-UI →Features
15:5315:53, 24 May 2021 diff hist +368 ProB2-UI →Features
15:5115:51, 24 May 2021 diff hist +108 ProB2-UI No edit summary

06:4806:48, 16 May 2021 diff hist +107 Caching Constants and Operations No edit summary

User contributions for Michael Leuschel

6 September 2021

24 August 2021

19 August 2021

12 August 2021

8 July 2021

7 July 2021

26 June 2021

24 June 2021

8 June 2021

2 June 2021

29 May 2021

28 May 2021

25 May 2021

24 May 2021

16 May 2021