User contributions for Michael Leuschel

11 July 2017

• 13:3513:35, 11 July 2017 diff hist +1,667 DownloadPriorVersions →Prior Versions of ProB

6 July 2017

• 09:1609:16, 6 July 2017 diff hist 0 Using ProB with KODKOD →More details
• 09:1609:16, 6 July 2017 diff hist +143 Using ProB with KODKOD →More details
• 09:1109:11, 6 July 2017 diff hist +77 Using ProB with KODKOD →More details

24 May 2017

• 11:5111:51, 24 May 2017 diff hist +185 LTL Model Checking →LTL Preferences
• 11:4911:49, 24 May 2017 diff hist +225 LTL Model Checking →LTL Preferences

18 May 2017

• 16:4516:45, 18 May 2017 diff hist +164 FAQ →How can I reduce the memory consumption for model-checking current
• 16:4316:43, 18 May 2017 diff hist +975 FAQ →Can I use transitive closure for Event-B models

24 March 2017

• 12:2612:26, 24 March 2017 diff hist +97 Links →Related Tools

9 March 2017

• 11:2311:23, 9 March 2017 diff hist +69 Summary of B Syntax →Strings:
• 08:5308:53, 9 March 2017 diff hist +2 Summary of B Syntax →Strings:
• 08:5208:52, 9 March 2017 diff hist +14 Summary of B Syntax →Strings:
• 08:5208:52, 9 March 2017 diff hist +19 Summary of B Syntax →Strings:
• 08:5108:51, 9 March 2017 diff hist −2 Summary of B Syntax →Strings:
• 08:5108:51, 9 March 2017 diff hist −8 Summary of B Syntax →Strings:
• 08:5008:50, 9 March 2017 diff hist +417 Summary of B Syntax →Strings:

2 March 2017

• 15:0815:08, 2 March 2017 diff hist +84 Summary of B Syntax →Differences with AtelierB/B4Free
• 15:0815:08, 2 March 2017 diff hist +128 Summary of B Syntax →Strings:

10 February 2017

• 16:3416:34, 10 February 2017 diff hist +1 SEND-MORE-MONEY No edit summary current
• 16:3416:34, 10 February 2017 diff hist 0 N File:ProB SendMoreMoney Screenshot.png No edit summary current
• 16:3416:34, 10 February 2017 diff hist +130 SEND-MORE-MONEY No edit summary
• 16:2816:28, 10 February 2017 diff hist +73 SEND-MORE-MONEY No edit summary
• 16:2816:28, 10 February 2017 diff hist +1,031 SEND-MORE-MONEY No edit summary
• 16:2116:21, 10 February 2017 diff hist +75 SEND-MORE-MONEY →KISS*KISS = PASSION
• 16:1916:19, 10 February 2017 diff hist +52 SEND-MORE-MONEY →KISS*KISS = PASSION
• 16:1616:16, 10 February 2017 diff hist +674 SEND-MORE-MONEY No edit summary
• 16:1116:11, 10 February 2017 diff hist +846 SEND-MORE-MONEY No edit summary
• 16:0616:06, 10 February 2017 diff hist +1,514 N SEND-MORE-MONEY Created page with "In this entry we study how to solve the famous [https://en.wikipedia.org/wiki/Verbal_arithmetic verbal arithmetic SEND-MORE-MONEY] puzzle. The task is to find the digits S,E,N..."
• 15:5915:59, 10 February 2017 diff hist +1 User Manual →Sample Models
• 15:5815:58, 10 February 2017 diff hist +21 User Manual →Sample Models
• 11:0611:06, 10 February 2017 diff hist +221 Prolog Coding Guidelines →General Guidelines
• 11:0511:05, 10 February 2017 diff hist +303 Prolog Coding Guidelines →Errors

7 February 2017

• 06:4406:44, 7 February 2017 diff hist +138 Tutorial Rodin First Step →Installation
• 06:4406:44, 7 February 2017 diff hist +1 Tutorial Rodin First Step →Installation
• 06:4306:43, 7 February 2017 diff hist +147 Download →ProB for Rodin

2 February 2017

• 15:0515:05, 2 February 2017 diff hist +96 Download →Graphviz Requirements
• 15:0315:03, 2 February 2017 diff hist +37 Download →Graphviz Requirements
• 15:0215:02, 2 February 2017 diff hist +56 Download No edit summary

1 February 2017

• 15:2915:29, 1 February 2017 diff hist +66 Summary of B Syntax →Differences with AtelierB/B4Free
• 15:2615:26, 1 February 2017 diff hist −124 Summary of B Syntax →Differences with AtelierB/B4Free
• 15:2115:21, 1 February 2017 diff hist +70 Summary of B Syntax →Other notes

31 January 2017

• 16:0316:03, 31 January 2017 diff hist +79 Links →Tools using ProB

26 January 2017

• 08:4708:47, 26 January 2017 diff hist +54 Links →Tools using ProB
• 08:4608:46, 26 January 2017 diff hist −8 Links →Tools using ProB
• 08:4508:45, 26 January 2017 diff hist +139 Links →Tools using ProB

4 January 2017

• 13:4613:46, 4 January 2017 diff hist +104 Using the Command-Line Version of ProB →-repl

23 December 2016

• 09:1609:16, 23 December 2016 diff hist +1,222 Proving Theorems in the ProB REPL No edit summary

22 December 2016

• 09:1909:19, 22 December 2016 diff hist +3,354 Proving Theorems in the ProB REPL No edit summary
• 09:0909:09, 22 December 2016 diff hist +194 Proving Theorems in the ProB REPL No edit summary
• 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..."