Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 16:26, 18 January 2010 | ProB JukeboxReopenCommand.png (file) |  |
6 KB | 1 | |
| 13:51, 26 February 2016 | B-mode.el.zip (file) |  |
8 KB | 1 | |
| 13:52, 18 January 2010 | ProBWinContents.png (file) |  |
9 KB | 1 | |
| 16:46, 18 January 2010 | ProB Jukebox AnalyseGraphicallyCommand.png (file) |  |
9 KB | 1 | |
| 14:00, 18 January 2010 | ProBWinOpen.png (file) |  |
9 KB | 1 | |
| 16:49, 11 February 2015 | FindSequenceResult.png (file) |  |
10 KB | 1 | |
| 16:03, 1 March 2011 | ProBModelCheckNoCounterExampleFound.png (file) |  |
10 KB | 2 | |
| 14:37, 18 January 2010 | ProBWinModelCheckCounterExampleFound.png (file) |  |
11 KB | 1 | |
| 08:36, 19 January 2010 | ProB Jukebox AnalyseGraphicallyCustomCommand.png (file) |  |
11 KB | 1 | |
| 16:47, 18 January 2010 | ProB Jukebox UnsatProp.png (file) |  |
11 KB | 1 | |
| 14:22, 18 January 2010 | ProB LiftAfterInitInvariant.png (file) |  |
12 KB | 1 | |
| 08:52, 11 November 2013 | MLiftNavigateHTMLVisualization2.png (file) |  |
12 KB | 1 | |
| 16:30, 27 February 2012 | StackConstructiveProBEvalConsoleEmpty.png (file) |  |
12 KB | 3 | |
| 08:48, 19 January 2010 | ProB Jukebox AnalyseGraphicallyOperationPRE.png (file) |  |
12 KB | 1 | |
| 14:08, 11 October 2012 | ProBWindowsFolder.png (file) |  |
12 KB | 1 | |
| 14:43, 18 February 2016 | ProB Bishops 8 14 Screenshot.png (file) |  |
13 KB | 1 | |
| 08:16, 12 March 2014 | Disprover proof.png (file) |  |
13 KB | 1 | |
| 14:23, 18 January 2010 | ProB LiftAfterDecBack.png (file) |  |
13 KB | 2 | |
| 14:23, 18 January 2010 | ProB LiftAfterDec.png (file) |  |
13 KB | 1 | |
| 14:12, 18 January 2010 | ProB LiftAfterInit.png (file) |  |
13 KB | 1 | |
| 16:09, 18 January 2010 | ProB JukeboxAfterSETUPCONSTANTS.png (file) |  |
13 KB | 1 | |
| 14:37, 18 January 2010 | ProB LiftAfterModelCheck.png (file) |  |
13 KB | 1 | |
| 14:37, 18 January 2010 | ProBWinModelCheckDialog.png (file) |  |
14 KB | 1 | |
| 07:06, 2 February 2016 | ProB Goal Found.png (file) |  |
14 KB | 2 | |
| 16:09, 18 January 2010 | ProB JukeboxAfterINITIALISATION.png (file) |  |
14 KB | 1 | |
| 14:37, 18 January 2010 | ProBWinModelCheckCommand.png (file) |  |
14 KB | 1 | |
| 08:48, 19 January 2010 | ProB Jukebox AnalyseGraphicallyOperationPRE3.png (file) |  |
14 KB | 1 | |
| 14:56, 18 January 2010 | ProB LiftAfterModelCheck Coverage.png (file) |  |
16 KB | 1 | |
| 14:55, 15 December 2013 | ProB Lift OpPane WithJump101.png (file) |  |
16 KB | 1 | |
| 08:52, 1 March 2011 | ProBModelCheckNoCounterExampleFoundTrans.png (file) |  |
16 KB | 1 | |
| 08:37, 19 January 2010 | ProB Jukebox AnalyseGraphicallyCustom3.png (file) |  |
16 KB | 1 | |
| 15:51, 28 October 2014 | AllOpsCoveredDialog.png (file) |  |
16 KB | 1 | |
| 08:51, 11 November 2013 | MLiftNavigateHTMLVisualization.png (file) |  |
16 KB | 1 | |
| 08:26, 19 January 2010 | ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png (file) |  |
17 KB | 2 | |
| 14:58, 15 December 2015 | ProB BridgesPuzzle.png (file) |  |
17 KB | 2 | |
| 12:36, 1 March 2011 | CBCDoubleCounter1.png (file) |  |
17 KB | 1 | |
| 12:39, 1 March 2011 | CBCDoubleCounter2.png (file) |  |
17 KB | 2 | |
| 07:18, 27 November 2021 | Lift proj.pdf (file) |  |
18 KB | 1 | |
| 16:48, 11 February 2015 | FindSequenceDialog.png (file) |  |
18 KB | 1 | |
| 09:17, 24 November 2021 | ProBUMLSeqCharScheduler.png (file) |  |
18 KB | 1 | |
| 14:51, 19 January 2010 | ProB PropagationAfterLoad3.png (file) |  |
19 KB | 1 | |
| 16:46, 18 January 2010 | ProB Jukebox DebugUnsatProp.png (file) |  |
19 KB | 1 | |
| 15:03, 18 January 2010 | ProB GraphicalViewerPreferences Shapes.png (file) |  |
20 KB | 1 | |
| 16:45, 27 February 2012 | StackConstructiveProBEvalConsoleFull2.png (file) |  |
20 KB | 1 | |
| 07:04, 2 February 2016 | ProB ModelCheckGoalBox.png (file) |  |
20 KB | 1 | |
| 08:04, 8 January 2024 | IceCream Generic.pdf (file) | |
21 KB | 1 | |
| 15:00, 15 December 2013 | ProB ExecuteOperation.png (file) |  |
21 KB | 1 | |
| 14:51, 19 January 2010 | ProB PropagationAfterLoadMsg3.png (file) |  |
21 KB | 1 | |
| 18:42, 20 January 2016 | ProB Argumentation CustomDot.png (file) |  |
21 KB | 1 | |
| 11:13, 24 November 2015 | ProB ApplesOranges Table.png (file) |  |
21 KB | 1 |
