Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 08:05, 6 September 2017 | ProB2JavaFX UI Overview.png (file) |  |
106 KB | 1 | |
| 16:34, 10 February 2017 | ProB SendMoreMoney Screenshot.png (file) |  |
64 KB | 1 | |
| 05:55, 25 October 2016 | Sbmf 2016 latex.pdf (file) |  |
333 KB | 1 | |
| 05:54, 25 October 2016 | Puzzle latex presentation.pdf (file) | |
1,019 KB | 1 | |
| 11:41, 7 September 2016 | Prob latex doc.pdf (file) | |
323 KB | 3 | |
| 13:51, 26 February 2016 | B-mode.el.zip (file) |  |
8 KB | 1 | |
| 14:43, 18 February 2016 | ProB Bishops 8 14 Screenshot.png (file) |  |
13 KB | 1 | |
| 07:12, 2 February 2016 | ProB DieHard Screenshot.png (file) |  |
166 KB | 1 | |
| 07:06, 2 February 2016 | ProB Goal Found.png (file) |  |
14 KB | 2 | |
| 07:05, 2 February 2016 | Jars Panes.png (file) |  |
41 KB | 2 | |
| 07:04, 2 February 2016 | ProB ModelCheckGoalBox.png (file) |  |
20 KB | 1 | |
| 18:42, 20 January 2016 | ProB Argumentation CustomDot.png (file) |  |
21 KB | 1 | |
| 15:41, 20 January 2016 | ProBRodinArgumentationState.png (file) |  |
40 KB | 1 | |
| 15:15, 20 January 2016 | ProB Argumentation Screenshot1.png (file) |  |
173 KB | 2 | |
| 15:06, 20 January 2016 | ProB Argumentation Dot3.png (file) |  |
39 KB | 1 | |
| 15:05, 20 January 2016 | ProB Argumentation Dot2.png (file) |  |
39 KB | 1 | |
| 15:05, 20 January 2016 | ProB Argumentation Dot1.png (file) |  |
39 KB | 1 | |
| 14:36, 20 January 2016 | ProB Argumentation Dot.png (file) |  |
38 KB | 1 | |
| 14:36, 20 January 2016 | ProB Argumentation VisCurStateAsGraph.png (file) |  |
50 KB | 1 | |
| 14:36, 20 January 2016 | ProB Argumentation Screenshot2.png (file) |  |
35 KB | 1 | |
| 16:19, 22 December 2015 | RushHour full sfdp.png (file) |  |
252 KB | 1 | |
| 13:45, 21 December 2015 | Threads51 POR proj.png (file) |  |
45 KB | 1 | |
| 13:45, 21 December 2015 | Threads51 proj.png (file) |  |
54 KB | 1 | |
| 13:37, 21 December 2015 | Threads51 POR sfdp.png (file) |  |
78 KB | 1 | |
| 13:37, 21 December 2015 | Threads51 sfdp.png (file) |  |
1,009 KB | 1 | |
| 13:00, 21 December 2015 | MCInnerFIFO q3 sfdp.png (file) |  |
2.84 MB | 3 | |
| 12:16, 21 December 2015 | Hanoi6 sfdp.png (file) |  |
185 KB | 2 | |
| 12:15, 21 December 2015 | Hanoi6 proj cardondest.png (file) |  |
41 KB | 1 | |
| 10:01, 21 December 2015 | MCInnerFIFO proj cardq.png (file) |  |
37 KB | 1 | |
| 09:17, 21 December 2015 | CANBus sfdp.png (file) |  |
2.52 MB | 1 | |
| 09:15, 21 December 2015 | RushHour sfdp.png (file) |  |
3.89 MB | 1 | |
| 09:00, 21 December 2015 | MCInnerFIFO sfdp.png (file) |  |
756 KB | 1 | |
| 18:53, 18 December 2015 | MCAlternatingBit projsrBit.png (file) |  |
57 KB | 1 | |
| 17:45, 18 December 2015 | MCAlternatingBit sfdp.png (file) |  |
691 KB | 1 | |
| 14:59, 15 December 2015 | ProB BridgesSolOmni.png (file) |  |
24 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 | |
| 11:13, 24 November 2015 | ProB ApplesOranges Table.png (file) |  |
21 KB | 1 | |
| 06:42, 2 September 2015 | CoverageMenu.png (file) |  |
65 KB | 1 | |
| 06:38, 2 September 2015 | MCDC Coverage ABZ.png (file) |  |
150 KB | 1 | |
| 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 |
