Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 10:01, 21 December 2015 | MCInnerFIFO proj cardq.png (file) |  |
37 KB | 1 | |
| 13:00, 21 December 2015 | MCInnerFIFO q3 sfdp.png (file) |  |
2.84 MB | 3 | |
| 09:00, 21 December 2015 | MCInnerFIFO sfdp.png (file) |  |
756 KB | 1 | |
| 08:48, 11 November 2013 | MLiftAnimateWithProB.png (file) |  |
36 KB | 1 | |
| 08:52, 11 November 2013 | MLiftEventsView.png (file) |  |
27 KB | 1 | |
| 08:49, 11 November 2013 | MLiftHTMLVisualization.png (file) |  |
41 KB | 1 | |
| 08:51, 11 November 2013 | MLiftNavigateHTMLVisualization.png (file) |  |
16 KB | 1 | |
| 08:52, 11 November 2013 | MLiftNavigateHTMLVisualization2.png (file) |  |
12 KB | 1 | |
| 10:18, 11 September 2013 | ProB-TLC RushHour Screenshot.png (file) |  |
178 KB | 1 | |
| 08:05, 6 September 2017 | ProB2JavaFX UI Overview.png (file) |  |
106 KB | 1 | |
| 07:46, 20 July 2019 | ProB2JavaFX UI Overview New.png (file) |  |
193 KB | 2 | |
| 09:00, 3 March 2021 | ProB2JavaFX UI Overview VisB.png (file) |  |
301 KB | 1 | |
| 06:23, 25 March 2022 | ProB2UI VisB Debug Table View.png (file) |  |
169 KB | 1 | |
| 09:04, 3 March 2021 | ProB2UI VisB View.png (file) |  |
22 KB | 1 | |
| 06:25, 25 March 2022 | ProB2UI VisB View Export.png (file) |  |
35 KB | 1 | |
| 08:11, 24 January 2023 | ProB2UI VisB View ExportedHTML.png (file) |  |
211 KB | 1 | |
| 08:24, 7 February 2018 | ProBAlloyQueens.png (file) |  |
138 KB | 1 | |
| 11:17, 7 February 2018 | ProBAlloyRiver.png (file) |  |
177 KB | 1 | |
| 14:46, 7 March 2024 | ProBAtAGlance.png (file) |  |
147 KB | 1 | |
| 12:44, 9 June 2020 | ProBLTSMinTk.png (file) |  |
268 KB | 1 | |
| 16:03, 1 March 2011 | ProBModelCheckNoCounterExampleFound.png (file) |  |
10 KB | 2 | |
| 08:52, 1 March 2011 | ProBModelCheckNoCounterExampleFoundTrans.png (file) |  |
16 KB | 1 | |
| 15:41, 20 January 2016 | ProBRodinArgumentationState.png (file) |  |
40 KB | 1 | |
| 07:33, 25 February 2012 | ProBRodinClassicPreference.png (file) |  |
42 KB | 1 | |
| 07:15, 25 February 2012 | ProBRodinExport.png (file) |  |
26 KB | 1 | |
| 07:27, 25 February 2012 | ProBRodinLoadedInTclTk.png (file) |  |
72 KB | 1 | |
| 14:10, 19 February 2015 | ProBRodinUpdateDialog.png (file) |  |
61 KB | 1 | |
| 13:50, 18 January 2010 | ProBStartTerminal.png (file) |  |
25 KB | 1 | |
| 13:44, 18 January 2010 | ProBStartWindow.png (file) |  |
94 KB | 1 | |
| 11:38, 8 November 2022 | ProBTerminalizerDemo.gif (file) |  |
1.73 MB | 2 | |
| 11:44, 8 November 2022 | ProBTerminalizerReplDemo.gif (file) |  |
719 KB | 1 | |
| 09:17, 24 November 2021 | ProBUMLSeqCharScheduler.png (file) |  |
18 KB | 1 | |
| 09:33, 24 November 2021 | ProBUMLSeqChartCmd.png (file) |  |
86 KB | 1 | |
| 13:52, 18 January 2010 | ProBWinContents.png (file) |  |
9 KB | 1 | |
| 14:00, 18 January 2010 | ProBWinExamplesFolder.png (file) |  |
33 KB | 1 | |
| 14:37, 18 January 2010 | ProBWinModelCheckCommand.png (file) |  |
14 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:00, 18 January 2010 | ProBWinOpen.png (file) |  |
9 KB | 1 | |
| 14:08, 11 October 2012 | ProBWindowsFolder.png (file) |  |
12 KB | 1 | |
| 15:53, 18 January 2010 | ProB AnimationPhases.png (file) |  |
36 KB | 1 | |
| 11:13, 24 November 2015 | ProB ApplesOranges Table.png (file) |  |
21 KB | 1 | |
| 18:42, 20 January 2016 | ProB Argumentation CustomDot.png (file) |  |
21 KB | 1 | |
| 14:36, 20 January 2016 | ProB Argumentation Dot.png (file) |  |
38 KB | 1 | |
| 15:05, 20 January 2016 | ProB Argumentation Dot1.png (file) |  |
39 KB | 1 | |
| 15:05, 20 January 2016 | ProB Argumentation Dot2.png (file) |  |
39 KB | 1 | |
| 15:06, 20 January 2016 | ProB Argumentation Dot3.png (file) |  |
39 KB | 1 | |
| 15:15, 20 January 2016 | ProB Argumentation Screenshot1.png (file) |  |
173 KB | 2 | |
| 14:36, 20 January 2016 | ProB Argumentation Screenshot2.png (file) |  |
35 KB | 1 | |
| 14:36, 20 January 2016 | ProB Argumentation VisCurStateAsGraph.png (file) |  |
50 KB | 1 |
