User contributions for Michael Leuschel

30 September 2017

• 08:0708:07, 30 September 2017 diff hist −161 The ProB Animator and Model Checker →Features
• 08:0108:01, 30 September 2017 diff hist −88 The ProB Animator and Model Checker No edit summary
• 07:5907:59, 30 September 2017 diff hist −38 The ProB Animator and Model Checker No edit summary
• 07:5807:58, 30 September 2017 diff hist −402 The ProB Animator and Model Checker No edit summary
• 07:5707:57, 30 September 2017 diff hist +479 Team No edit summary

26 September 2017

• 10:4010:40, 26 September 2017 diff hist +83 ProB Java API →Additional Material
• 07:4807:48, 26 September 2017 diff hist +155 ProB Java API Tutorial →How to animate with only the StateSpace abstraction

6 September 2017

• 08:0708:07, 6 September 2017 diff hist 0 ProB2-UI →The ProB2 JavaFX Main Window
• 08:0708:07, 6 September 2017 diff hist +6 ProB2-UI →The ProB2 JavaFX Main Window
• 08:0508:05, 6 September 2017 diff hist 0 N File:ProB2JavaFX UI Overview.png No edit summary current
• 08:0508:05, 6 September 2017 diff hist −2 ProB2-UI →The ProB2 JavaFX Main Window
• 08:0408:04, 6 September 2017 diff hist +1,263 N ProB2-UI Created page with "== The ProB2 JavaFX Main Window == By default the main window is split into three vertical panes (see below). * In the left pane, the Operations view , showing the operatio..."
• 07:5807:58, 6 September 2017 diff hist +50 Template:User Manual Index No edit summary

26 July 2017

• 14:4014:40, 26 July 2017 diff hist +5 Using ProB with KODKOD No edit summary

12 July 2017

• 07:0707:07, 12 July 2017 diff hist −3 The ProB Animator and Model Checker No edit summary

11 July 2017

• 13:5513:55, 11 July 2017 diff hist −26 The ProB Animator and Model Checker No edit summary
• 13:5413:54, 11 July 2017 diff hist −16 The ProB Animator and Model Checker No edit summary
• 13:5413:54, 11 July 2017 diff hist +127 The ProB Animator and Model Checker No edit summary
• 13:5213:52, 11 July 2017 diff hist +249 Download →Short Release History
• 13:5013:50, 11 July 2017 diff hist +64 ProB Release History No edit summary
• 13:4813:48, 11 July 2017 diff hist +1,327 ProB Release History No edit summary
• 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

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..."