Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 05:52, 28 August 2015 | CBC Test Tree States Example1.png (file) |  |
37 KB | 1 | |
| 05:49, 28 August 2015 | CBC StateSpace Example1.png (file) |  |
73 KB | 1 | |
| 05:42, 28 August 2015 | CBC Test Tree Example1.png (file) |  |
27 KB | 1 | |
| 15:31, 10 August 2015 | ProB CSPAfterModelCheck2.png (file) |  |
92 KB | 2 | |
| 15:28, 10 August 2015 | ProB CSPBusStatespace.png (file) |  |
31 KB | 2 | |
| 15:23, 10 August 2015 | ProB CSPAfterModelCheck.png (file) |  |
96 KB | 2 | |
| 15:23, 10 August 2015 | ProB CSPModelCheck.png (file) |  |
48 KB | 2 | |
| 15:21, 10 August 2015 | ProB CSPAfterBoardSingleClick.png (file) |  |
98 KB | 2 | |
| 15:20, 10 August 2015 | ProB CSPAfterTauSingleClick.png (file) |  |
92 KB | 3 | |
| 15:17, 10 August 2015 | ProB CSPAfterInit.png (file) |  |
90 KB | 4 | |
| 15:16, 10 August 2015 | ProB BusesAfterLoad.png (file) |  |
81 KB | 2 | |
| 11:44, 22 June 2015 | ProB NinePrisoners Fancy.png (file) |  |
126 KB | 1 | |
| 11:44, 22 June 2015 | ProB NinePrisoners Simple.png (file) |  |
228 KB | 1 | |
| 10:27, 17 April 2015 | ProB Phonebook7 spdot mixed2.png (file) |  |
166 KB | 1 | |
| 10:27, 17 April 2015 | ProB Phonebook7 spdot mixed1.png (file) |  |
195 KB | 1 | |
| 10:26, 17 April 2015 | ProB Phonebook7 spdot random2.png (file) |  |
174 KB | 1 | |
| 10:26, 17 April 2015 | ProB Phonebook7 spdot random1.png (file) |  |
207 KB | 1 | |
| 10:26, 17 April 2015 | ProB Phonebook7 spdot hash.png (file) |  |
190 KB | 1 | |
| 10:26, 17 April 2015 | ProB Phonebook7 spdot dlk.png (file) |  |
192 KB | 1 | |
| 10:24, 17 April 2015 | ProB Phonebook7 spdot df.png (file) |  |
154 KB | 1 | |
| 10:22, 17 April 2015 | ProB Phonebook7 spdot bf.png (file) |  |
194 KB | 1 | |
| 12:07, 16 April 2015 | ProB BlockGoal Screenshot.png (file) |  |
133 KB | 1 | |
| 12:07, 16 April 2015 | ProB MC Heuristic.png (file) |  |
34 KB | 1 | |
| 08:20, 16 April 2015 | ProB BlockInit Screenshot.png (file) |  |
133 KB | 1 | |
| 07:47, 16 April 2015 | ProB Cheryl Screenshot.png (file) |  |
106 KB | 1 | |
| 14:14, 19 February 2015 | RodinInstallNewSoftware.png (file) |  |
44 KB | 3 | |
| 14:10, 19 February 2015 | ProBRodinUpdateDialog.png (file) |  |
61 KB | 1 | |
| 16:55, 11 February 2015 | CBCMBTTreeResult.png (file) |  |
43 KB | 1 | |
| 16:55, 11 February 2015 | CBCMBTResult.png (file) |  |
34 KB | 1 | |
| 16:55, 11 February 2015 | CBCMBTDialog.png (file) |  |
36 KB | 1 | |
| 16:55, 11 February 2015 | CBCMBTMenu.png (file) |  |
48 KB | 1 | |
| 16:49, 11 February 2015 | FindSequenceResult.png (file) |  |
10 KB | 1 | |
| 16:48, 11 February 2015 | FindSequenceDialog.png (file) |  |
18 KB | 1 | |
| 16:48, 11 February 2015 | FindSequenceMenu.png (file) |  |
72 KB | 1 | |
| 16:40, 11 February 2015 | ProB Lift Randomise.png (file) |  |
98 KB | 1 | |
| 16:32, 15 January 2015 | BMC Counter Wrong.png (file) |  |
28 KB | 1 | |
| 15:51, 28 October 2014 | AllOpsCoveredDialog.png (file) |  |
16 KB | 1 | |
| 15:50, 28 October 2014 | StopWhenAllOpsCovered.png (file) |  |
22 KB | 1 | |
| 08:23, 23 July 2014 | ProB RushHour XTL Screenshot.png (file) |  |
190 KB | 1 | |
| 14:46, 22 July 2014 | ProB RushHour v2 TLC Dialog.png (file) |  |
39 KB | 1 | |
| 14:46, 22 July 2014 | ProB RushHour v2 Screenshot.png (file) |  |
171 KB | 1 | |
| 09:06, 13 July 2014 | ProB TclTk CountVarMenu.png (file) |  |
63 KB | 1 | |
| 05:49, 27 June 2014 | ProZ jars.png (file) |  |
129 KB | 1 | |
| 08:16, 12 March 2014 | Disprover proof.png (file) |  |
13 KB | 1 | |
| 08:14, 12 March 2014 | Disprover proof control.png (file) |  |
34 KB | 1 | |
| 15:46, 20 February 2014 | ProB Queens 40 Screenshot.png (file) |  |
73 KB | 1 | |
| 07:08, 25 January 2014 | ProB PeaceableQueens 8 9 Opt Screenshot.png (file) |  |
133 KB | 1 | |
| 07:08, 25 January 2014 | ProB PeaceableQueens 8 9 Screenshot.png (file) |  |
127 KB | 1 | |
| 15:06, 15 December 2013 | ProB Lift ExecuteOperation Dialog Pred.png (file) |  |
26 KB | 1 | |
| 15:03, 15 December 2013 | ProB Lift ExecuteOperationMenu.png (file) |  |
48 KB | 1 |
