User contributions for Michael Leuschel

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