User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,302 edits. Account created on 18 January 2010.

13:3713:37, 11 July 2017 diff hist −3 Download →Latest Release
13:3513:35, 11 July 2017 diff hist +1,667 DownloadPriorVersions →Prior Versions of ProB

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

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

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

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

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:

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:

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

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

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

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

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

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

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

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

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

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"