Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 12:28, 18 January 2010 | GraphicalViewerSubMenu.png (file) |  |
52 KB | 1 | |
| 12:49, 18 January 2010 | GraphicalViewerPreferencesMenuEntry.png (file) |  |
38 KB | 1 | |
| 12:49, 18 January 2010 | GraphicalViewerPreferences.png (file) |  |
57 KB | 1 | |
| 13:44, 18 January 2010 | ProBStartWindow.png (file) |  |
94 KB | 1 | |
| 13:50, 18 January 2010 | ProBStartTerminal.png (file) |  |
25 KB | 1 | |
| 13:52, 18 January 2010 | ProBWinContents.png (file) |  |
9 KB | 1 | |
| 14:00, 18 January 2010 | ProBWinOpen.png (file) |  |
9 KB | 1 | |
| 14:00, 18 January 2010 | ProBWinExamplesFolder.png (file) |  |
33 KB | 1 | |
| 14:01, 18 January 2010 | ProB LiftAfterLoad.png (file) |  |
38 KB | 1 | |
| 14:12, 18 January 2010 | ProB LiftAfterInit.png (file) |  |
13 KB | 1 | |
| 14:22, 18 January 2010 | ProB LiftAfterInitInvariant.png (file) |  |
12 KB | 1 | |
| 14:23, 18 January 2010 | ProB LiftAfterDec.png (file) |  |
13 KB | 1 | |
| 14:23, 18 January 2010 | ProB LiftAfterDecBack.png (file) |  |
13 KB | 2 | |
| 14:37, 18 January 2010 | ProB LiftAfterModelCheck.png (file) |  |
13 KB | 1 | |
| 14:37, 18 January 2010 | ProBWinModelCheckCounterExampleFound.png (file) |  |
11 KB | 1 | |
| 14:37, 18 January 2010 | ProBWinModelCheckDialog.png (file) |  |
14 KB | 1 | |
| 14:37, 18 January 2010 | ProBWinModelCheckCommand.png (file) |  |
14 KB | 1 | |
| 14:56, 18 January 2010 | ProB LiftAfterModelCheck Coverage.png (file) |  |
16 KB | 1 | |
| 15:02, 18 January 2010 | ProB LiftAfterModelCheck Statespace.png (file) |  |
29 KB | 1 | |
| 15:03, 18 January 2010 | ProB GraphicalViewerPreferences Shapes.png (file) |  |
20 KB | 1 | |
| 15:52, 18 January 2010 | ProB JukeboxAfterLoad.png (file) |  |
43 KB | 1 | |
| 15:53, 18 January 2010 | ProB AnimationPhases.png (file) |  |
36 KB | 1 | |
| 16:09, 18 January 2010 | ProB JukeboxAfterSETUPCONSTANTS.png (file) |  |
13 KB | 1 | |
| 16:09, 18 January 2010 | ProB JukeboxAfterINITIALISATION.png (file) |  |
14 KB | 1 | |
| 16:26, 18 January 2010 | ProB Jukebox StatespaceFull.png (file) |  |
49 KB | 1 | |
| 16:26, 18 January 2010 | ProB JukeboxReopenCommand.png (file) |  |
6 KB | 1 | |
| 16:26, 18 January 2010 | ProB Jukebox Statespace.png (file) |  |
28 KB | 1 | |
| 16:46, 18 January 2010 | ProB Jukebox AnalyseGraphicallyUnsatProp.png (file) |  |
21 KB | 1 | |
| 16:46, 18 January 2010 | ProB Jukebox AnalyseGraphicallyCommand.png (file) |  |
9 KB | 1 | |
| 16:46, 18 January 2010 | ProB Jukebox DebugUnsatProp.png (file) |  |
19 KB | 1 | |
| 16:47, 18 January 2010 | ProB Jukebox UnsatProp.png (file) |  |
11 KB | 1 | |
| 16:54, 18 January 2010 | ProB JukeboxAfterLoad2.png (file) |  |
43 KB | 1 | |
| 08:25, 19 January 2010 | ProB Jukebox DebugUnsatProp2.png (file) |  |
22 KB | 1 | |
| 08:26, 19 January 2010 | ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png (file) |  |
17 KB | 2 | |
| 08:26, 19 January 2010 | ProB Jukebox AnalyseGraphicallyUnsatProp2.png (file) |  |
33 KB | 1 | |
| 08:26, 19 January 2010 | ProB JukeboxAfterInit3.png (file) |  |
42 KB | 1 | |
| 08:36, 19 January 2010 | ProB Jukebox AnalyseGraphicallyCustomCommand.png (file) |  |
11 KB | 1 | |
| 08:37, 19 January 2010 | ProB Jukebox AnalyseGraphicallyCustom3.png (file) |  |
16 KB | 1 | |
| 08:48, 19 January 2010 | ProB Jukebox AnalyseGraphicallyOperationPRE3.png (file) |  |
14 KB | 1 | |
| 08:48, 19 January 2010 | ProB Jukebox AnalyseGraphicallyOperationPRE.png (file) |  |
12 KB | 1 | |
| 10:19, 19 January 2010 | ProB GoldbachAfterInit.png (file) |  |
94 KB | 1 | |
| 13:53, 19 January 2010 | ProB Propagation.pdf (file) |  |
24 KB | 1 | |
| 13:54, 19 January 2010 | ProB Propagation.png (file) |  |
49 KB | 1 | |
| 14:30, 19 January 2010 | ProB PropagationAfterInit.png (file) |  |
40 KB | 1 | |
| 14:30, 19 January 2010 | ProB PropagationAfterLoad.png (file) |  |
25 KB | 1 | |
| 14:44, 19 January 2010 | ProB PropagationAfterLoad2.png (file) |  |
38 KB | 1 | |
| 14:51, 19 January 2010 | ProB PropagationAfterLoad3.png (file) |  |
19 KB | 1 | |
| 14:51, 19 January 2010 | ProB PropagationAfterLoadDebug3.png (file) |  |
111 KB | 1 | |
| 14:51, 19 January 2010 | ProB PropagationAfterLoadMsg3.png (file) |  |
21 KB | 1 | |
| 15:15, 19 January 2010 | ProB PropagationAfterLoad4.png (file) |  |
72 KB | 1 |
