Uploads by Michael Leuschel

This special page shows all uploaded files.

File list
First pagePrevious pageNext pageLast page
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
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
16:46, 18 January 2010 ProB Jukebox AnalyseGraphicallyUnsatProp.png (file) 21 KB   1
First pagePrevious pageNext pageLast page