User contributions for Michael Leuschel

22 December 2016

• 09:0809:08, 22 December 2016 diff hist +1,839 N Proving Theorems in the ProB REPL Created page with "For this example we try and use the REPL (Read-Eval-Print-Loop) of ProB to prove theorems. The REPL can either be started using probcli's command <tt>-repl</tt> or by starting..."
• 08:5508:55, 22 December 2016 diff hist +40 User Manual →Sample Models

20 December 2016

• 14:0614:06, 20 December 2016 diff hist +175 Links →Tools using ProB
• 13:4713:47, 20 December 2016 diff hist +280 Links →Tools using ProB

22 November 2016

• 18:2318:23, 22 November 2016 diff hist +31 Using ProB with Atelier B →Atelier B Plugin

12 November 2016

• 13:4413:44, 12 November 2016 diff hist +84 Recursively Defined Functions →Operations applicable for recursive functions current
• 13:4213:42, 12 November 2016 diff hist −59 Recursively Defined Functions →Operations applicable for recursive functions
• 13:3713:37, 12 November 2016 diff hist +321 Recursively Defined Functions →Recursive Function Definitions in ProB

9 November 2016

• 08:3108:31, 9 November 2016 diff hist +2 Using the Command-Line Version of ProB →-logxml_write_vars PREFIX
• 08:3108:31, 9 November 2016 diff hist +453 Using the Command-Line Version of ProB →-logxml
• 08:2708:27, 9 November 2016 diff hist +8 Using the Command-Line Version of ProB →-strict
• 08:2708:27, 9 November 2016 diff hist +93 Using the Command-Line Version of ProB →-strict
• 08:2108:21, 9 November 2016 diff hist +35 Using the Command-Line Version of ProB →-no
• 08:1708:17, 9 November 2016 diff hist −1 Using the Command-Line Version of ProB →-no
• 08:1608:16, 9 November 2016 diff hist +62 Using the Command-Line Version of ProB →-no
• 08:1308:13, 9 November 2016 diff hist +33 Using the Command-Line Version of ProB →-execute
• 08:0908:09, 9 November 2016 diff hist +1,067 Using the Command-Line Version of ProB →-animate
• 07:0907:09, 9 November 2016 diff hist −12 Using the Command-Line Version of ProB No edit summary
• 07:0807:08, 9 November 2016 diff hist −1 Using the Command-Line Version of ProB No edit summary

25 October 2016

• 05:5705:57, 25 October 2016 diff hist −2 Generating Documents with ProB and Latex →Some Examples current
• 05:5505:55, 25 October 2016 diff hist 0 N File:Sbmf 2016 latex.pdf No edit summary current
• 05:5405:54, 25 October 2016 diff hist 0 N File:Puzzle latex presentation.pdf No edit summary current
• 05:5405:54, 25 October 2016 diff hist −28 Generating Documents with ProB and Latex →Some Examples
• 05:5205:52, 25 October 2016 diff hist +143 Generating Documents with ProB and Latex →Some Examples
• 05:5005:50, 25 October 2016 diff hist 0 Generating Documents with ProB and Latex →Some Examples
• 05:5005:50, 25 October 2016 diff hist +163 Generating Documents with ProB and Latex No edit summary

24 October 2016

• 10:4010:40, 24 October 2016 diff hist +41 Links →Tools using ProB

20 October 2016

• 12:2112:21, 20 October 2016 diff hist +249 The ProB Animator and Model Checker No edit summary
• 12:2012:20, 20 October 2016 diff hist +250 Download →Short Release History
• 12:1612:16, 20 October 2016 diff hist −54 ProB Release History No edit summary
• 12:1412:14, 20 October 2016 diff hist +1,583 ProB Release History No edit summary

7 October 2016

• 08:5408:54, 7 October 2016 diff hist −8 Download →Nightly Build

6 October 2016

• 10:5210:52, 6 October 2016 diff hist +187 Using ProB with KODKOD →More Preferences
• 10:5110:51, 6 October 2016 diff hist +148 Using ProB with KODKOD →SAT solver
• 10:4910:49, 6 October 2016 diff hist +862 Using ProB with KODKOD →SAT solver

5 October 2016

• 16:4616:46, 5 October 2016 diff hist +107 Links →Translating to Logic
• 16:4416:44, 5 October 2016 diff hist +109 Links →Other Links
• 16:4316:43, 5 October 2016 diff hist +91 Links →Other Links

4 October 2016

• 14:5914:59, 4 October 2016 diff hist +73 Using ProB with KODKOD →SAT solver
• 14:5614:56, 4 October 2016 diff hist +1 Using ProB with KODKOD →SAT solver
• 14:5214:52, 4 October 2016 diff hist +364 Using ProB with KODKOD →SAT solver

28 September 2016

• 11:1311:13, 28 September 2016 diff hist −5 Getting Involved →The Prolog Sources

27 September 2016

• 07:5907:59, 27 September 2016 diff hist +57 Links →Tools using ProB

16 September 2016

• 09:0609:06, 16 September 2016 diff hist +38 Tips: Writing Models for ProB →Existential Quantifiers current

9 September 2016

• 12:4112:41, 9 September 2016 diff hist +205 Tutorial Enabling Analysis →Performing Enabling Analysis within ProB

7 September 2016

• 11:4111:41, 7 September 2016 diff hist 0 File:Prob latex doc.pdf Michael Leuschel uploaded a new version of File:Prob latex doc.pdf current
• 11:3611:36, 7 September 2016 diff hist 0 File:Prob latex doc.pdf Michael Leuschel uploaded a new version of File:Prob latex doc.pdf
• 11:3611:36, 7 September 2016 diff hist +534 Generating Documents with ProB and Latex →Commands
• 11:3211:32, 7 September 2016 diff hist +663 Generating Documents with ProB and Latex →Commands
• 11:2611:26, 7 September 2016 diff hist +277 Generating Documents with ProB and Latex →Commands