Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 15:01, 15 December 2013 | ProB Lift OpPane WithJump Exec98.png (file) |  |
32 KB | 1 | |
| 15:01, 15 December 2013 | ProB Lift ExecuteOperation Dialog.png (file) |  |
24 KB | 1 | |
| 15:00, 15 December 2013 | ProB ExecuteOperation.png (file) |  |
21 KB | 1 | |
| 14:55, 15 December 2013 | ProB Lift OpPane WithJump101.png (file) |  |
16 KB | 1 | |
| 14:55, 15 December 2013 | ProB Lift MAX OPERATIONS.png (file) |  |
68 KB | 1 | |
| 14:55, 15 December 2013 | ProB LiftWithJump.png (file) |  |
80 KB | 1 | |
| 08:52, 11 November 2013 | MLiftEventsView.png (file) |  |
27 KB | 1 | |
| 08:52, 11 November 2013 | MLiftNavigateHTMLVisualization2.png (file) |  |
12 KB | 1 | |
| 08:51, 11 November 2013 | MLiftNavigateHTMLVisualization.png (file) |  |
16 KB | 1 | |
| 08:49, 11 November 2013 | MLiftHTMLVisualization.png (file) |  |
41 KB | 1 | |
| 08:48, 11 November 2013 | MLiftAnimateWithProB.png (file) |  |
36 KB | 1 | |
| 08:40, 11 November 2013 | GroovyConsoleUpgradeLatest.png (file) |  |
28 KB | 1 | |
| 10:18, 11 September 2013 | ProB-TLC RushHour Screenshot.png (file) |  |
178 KB | 1 | |
| 07:20, 5 September 2013 | ProB GameOfLife Screenshot.png (file) |  |
139 KB | 1 | |
| 11:45, 30 July 2013 | ProB RushHour Screenshot.png (file) |  |
163 KB | 1 | |
| 16:36, 22 May 2013 | ProB Card Screenshot.png (file) |  |
176 KB | 1 | |
| 14:08, 11 October 2012 | ProBWindowsFolder.png (file) |  |
12 KB | 1 | |
| 14:05, 11 October 2012 | TkWindowsDownload.png (file) |  |
38 KB | 1 | |
| 16:45, 27 February 2012 | StackConstructiveProBEvalConsoleFull2.png (file) |  |
20 KB | 1 | |
| 16:36, 27 February 2012 | StackConstructiveProBEvalConsoleFull.png (file) |  |
25 KB | 1 | |
| 16:30, 27 February 2012 | StackConstructiveProBEvalConsoleEmpty.png (file) |  |
12 KB | 3 | |
| 16:29, 27 February 2012 | StackConstructiveProBEvalCommand.png (file) |  |
41 KB | 1 | |
| 15:44, 27 February 2012 | Temporal Model Checker settings.png (file) |  |
28 KB | 1 | |
| 07:33, 25 February 2012 | ProBRodinClassicPreference.png (file) |  |
42 KB | 1 | |
| 07:27, 25 February 2012 | ProBRodinLoadedInTclTk.png (file) |  |
72 KB | 1 | |
| 07:15, 25 February 2012 | ProBRodinExport.png (file) |  |
26 KB | 1 | |
| 07:18, 24 December 2011 | StackConstructiveProB.png (file) |  |
145 KB | 1 | |
| 15:30, 25 July 2011 | ProB WhileAfterErrClick.png (file) |  |
94 KB | 1 | |
| 16:03, 1 March 2011 | ProBModelCheckNoCounterExampleFound.png (file) |  |
10 KB | 2 | |
| 16:03, 1 March 2011 | DoubleCounterStatespace.png (file) |  |
43 KB | 2 | |
| 16:02, 1 March 2011 | DoubleCounterStatespace2.png (file) |  |
50 KB | 2 | |
| 12:49, 1 March 2011 | DoubleCounterCBCCommand.png (file) |  |
81 KB | 1 | |
| 12:39, 1 March 2011 | CBCDoubleCounter2.png (file) |  |
17 KB | 2 | |
| 12:36, 1 March 2011 | CBCDoubleCounter1.png (file) |  |
17 KB | 1 | |
| 08:52, 1 March 2011 | ProBModelCheckNoCounterExampleFoundTrans.png (file) |  |
16 KB | 1 | |
| 12:56, 25 October 2010 | GraphicalViewerSiemensSaoPauloL9.pdf (file) |  |
30 KB | 1 | |
| 15:15, 19 January 2010 | ProB PropagationAfterLoad4.png (file) |  |
72 KB | 1 | |
| 14:51, 19 January 2010 | ProB PropagationAfterLoadMsg3.png (file) |  |
21 KB | 1 | |
| 14:51, 19 January 2010 | ProB PropagationAfterLoadDebug3.png (file) |  |
111 KB | 1 | |
| 14:51, 19 January 2010 | ProB PropagationAfterLoad3.png (file) |  |
19 KB | 1 | |
| 14:44, 19 January 2010 | ProB PropagationAfterLoad2.png (file) |  |
38 KB | 1 | |
| 14:30, 19 January 2010 | ProB PropagationAfterLoad.png (file) |  |
25 KB | 1 | |
| 14:30, 19 January 2010 | ProB PropagationAfterInit.png (file) |  |
40 KB | 1 | |
| 13:54, 19 January 2010 | ProB Propagation.png (file) |  |
49 KB | 1 | |
| 13:53, 19 January 2010 | ProB Propagation.pdf (file) | |
24 KB | 1 | |
| 10:19, 19 January 2010 | ProB GoldbachAfterInit.png (file) |  |
94 KB | 1 | |
| 08:48, 19 January 2010 | ProB Jukebox AnalyseGraphicallyOperationPRE.png (file) |  |
12 KB | 1 | |
| 08:48, 19 January 2010 | ProB Jukebox AnalyseGraphicallyOperationPRE3.png (file) |  |
14 KB | 1 | |
| 08:37, 19 January 2010 | ProB Jukebox AnalyseGraphicallyCustom3.png (file) |  |
16 KB | 1 | |
| 08:36, 19 January 2010 | ProB Jukebox AnalyseGraphicallyCustomCommand.png (file) |  |
11 KB | 1 |
