Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 09:58, 17 September 2020 | ProB AtelierB Proof.png (file) |  |
125 KB | 1 | |
| 09:52, 17 September 2020 | ProB AtelierB Resource.png (file) |  |
227 KB | 1 | |
| 08:49, 24 January 2022 | ProB AtelierB StartProB Menu.png (file) |  |
49 KB | 1 | |
| 14:43, 18 February 2016 | ProB Bishops 8 14 Screenshot.png (file) |  |
13 KB | 1 | |
| 12:07, 16 April 2015 | ProB BlockGoal Screenshot.png (file) |  |
133 KB | 1 | |
| 08:20, 16 April 2015 | ProB BlockInit Screenshot.png (file) |  |
133 KB | 1 | |
| 14:58, 15 December 2015 | ProB BridgesPuzzle.png (file) |  |
17 KB | 2 | |
| 14:43, 15 December 2015 | ProB BridgesSol.png (file) |  |
49 KB | 1 | |
| 14:59, 15 December 2015 | ProB BridgesSolOmni.png (file) |  |
24 KB | 1 | |
| 15:16, 10 August 2015 | ProB BusesAfterLoad.png (file) |  |
81 KB | 2 | |
| 15:21, 10 August 2015 | ProB CSPAfterBoardSingleClick.png (file) |  |
98 KB | 2 | |
| 15:17, 10 August 2015 | ProB CSPAfterInit.png (file) |  |
90 KB | 4 | |
| 15:23, 10 August 2015 | ProB CSPAfterModelCheck.png (file) |  |
96 KB | 2 | |
| 15:31, 10 August 2015 | ProB CSPAfterModelCheck2.png (file) |  |
92 KB | 2 | |
| 15:20, 10 August 2015 | ProB CSPAfterTauSingleClick.png (file) |  |
92 KB | 3 | |
| 15:28, 10 August 2015 | ProB CSPBusStatespace.png (file) |  |
31 KB | 2 | |
| 15:23, 10 August 2015 | ProB CSPModelCheck.png (file) |  |
48 KB | 2 | |
| 16:36, 22 May 2013 | ProB Card Screenshot.png (file) |  |
176 KB | 1 | |
| 07:47, 16 April 2015 | ProB Cheryl Screenshot.png (file) |  |
106 KB | 1 | |
| 07:12, 2 February 2016 | ProB DieHard Screenshot.png (file) |  |
166 KB | 1 | |
| 15:00, 15 December 2013 | ProB ExecuteOperation.png (file) |  |
21 KB | 1 | |
| 07:20, 5 September 2013 | ProB GameOfLife Screenshot.png (file) |  |
139 KB | 1 | |
| 07:06, 2 February 2016 | ProB Goal Found.png (file) |  |
14 KB | 2 | |
| 10:19, 19 January 2010 | ProB GoldbachAfterInit.png (file) |  |
94 KB | 1 | |
| 15:03, 18 January 2010 | ProB GraphicalViewerPreferences Shapes.png (file) |  |
20 KB | 1 | |
| 08:41, 17 April 2020 | ProB HL3 DB Screenshot.pdf (file) |  |
4.21 MB | 1 | |
| 08:51, 17 April 2020 | ProB HL3 DB Screenshot.png (file) |  |
673 KB | 1 | |
| 16:54, 21 April 2020 | ProB Induction Screenshot1.png (file) |  |
40 KB | 1 | |
| 16:09, 18 January 2010 | ProB JukeboxAfterINITIALISATION.png (file) |  |
14 KB | 1 | |
| 08:26, 19 January 2010 | ProB JukeboxAfterInit3.png (file) |  |
42 KB | 1 | |
| 15:52, 18 January 2010 | ProB JukeboxAfterLoad.png (file) |  |
43 KB | 1 | |
| 16:54, 18 January 2010 | ProB JukeboxAfterLoad2.png (file) |  |
43 KB | 1 | |
| 16:09, 18 January 2010 | ProB JukeboxAfterSETUPCONSTANTS.png (file) |  |
13 KB | 1 | |
| 16:26, 18 January 2010 | ProB JukeboxReopenCommand.png (file) |  |
6 KB | 1 | |
| 16:46, 18 January 2010 | ProB Jukebox AnalyseGraphicallyCommand.png (file) |  |
9 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 | |
| 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:26, 19 January 2010 | ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png (file) |  |
17 KB | 2 | |
| 16:46, 18 January 2010 | ProB Jukebox AnalyseGraphicallyUnsatProp.png (file) |  |
21 KB | 1 | |
| 08:26, 19 January 2010 | ProB Jukebox AnalyseGraphicallyUnsatProp2.png (file) |  |
33 KB | 1 | |
| 16:46, 18 January 2010 | ProB Jukebox DebugUnsatProp.png (file) |  |
19 KB | 1 | |
| 08:25, 19 January 2010 | ProB Jukebox DebugUnsatProp2.png (file) |  |
22 KB | 1 | |
| 16:26, 18 January 2010 | ProB Jukebox Statespace.png (file) |  |
28 KB | 1 | |
| 16:26, 18 January 2010 | ProB Jukebox StatespaceFull.png (file) |  |
49 KB | 1 | |
| 16:47, 18 January 2010 | ProB Jukebox UnsatProp.png (file) |  |
11 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:12, 18 January 2010 | ProB LiftAfterInit.png (file) |  |
13 KB | 1 |
