Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 16:46, 18 January 2010 | ProB Jukebox AnalyseGraphicallyUnsatProp.png (file) |  |
21 KB | 1 | |
| 08:25, 19 January 2010 | ProB Jukebox DebugUnsatProp2.png (file) |  |
22 KB | 1 | |
| 09:04, 3 March 2021 | ProB2UI VisB View.png (file) |  |
22 KB | 1 | |
| 15:50, 28 October 2014 | StopWhenAllOpsCovered.png (file) |  |
22 KB | 1 | |
| 09:26, 4 March 2022 | CBCStaticAssertionCheck.png (file) |  |
24 KB | 1 | |
| 14:59, 15 December 2015 | ProB BridgesSolOmni.png (file) |  |
24 KB | 1 | |
| 13:53, 19 January 2010 | ProB Propagation.pdf (file) |  |
24 KB | 1 | |
| 15:01, 15 December 2013 | ProB Lift ExecuteOperation Dialog.png (file) |  |
24 KB | 1 | |
| 11:02, 4 March 2022 | DisproverProB2UIStateView2.png (file) |  |
24 KB | 1 | |
| 16:36, 27 February 2012 | StackConstructiveProBEvalConsoleFull.png (file) |  |
25 KB | 1 | |
| 14:30, 19 January 2010 | ProB PropagationAfterLoad.png (file) |  |
25 KB | 1 | |
| 13:50, 18 January 2010 | ProBStartTerminal.png (file) |  |
25 KB | 1 | |
| 15:06, 15 December 2013 | ProB Lift ExecuteOperation Dialog Pred.png (file) |  |
26 KB | 1 | |
| 07:15, 25 February 2012 | ProBRodinExport.png (file) |  |
26 KB | 1 | |
| 08:52, 11 November 2013 | MLiftEventsView.png (file) |  |
27 KB | 1 | |
| 05:42, 28 August 2015 | CBC Test Tree Example1.png (file) |  |
27 KB | 1 | |
| 08:40, 11 November 2013 | GroovyConsoleUpgradeLatest.png (file) |  |
28 KB | 1 | |
| 15:44, 27 February 2012 | Temporal Model Checker settings.png (file) |  |
28 KB | 1 | |
| 16:32, 15 January 2015 | BMC Counter Wrong.png (file) |  |
28 KB | 1 | |
| 16:26, 18 January 2010 | ProB Jukebox Statespace.png (file) |  |
28 KB | 1 | |
| 15:02, 18 January 2010 | ProB LiftAfterModelCheck Statespace.png (file) |  |
29 KB | 1 | |
| 12:56, 25 October 2010 | GraphicalViewerSiemensSaoPauloL9.pdf (file) | |
30 KB | 1 | |
| 17:15, 21 April 2020 | Rodin Induction ScreenshotFinal.png (file) |  |
31 KB | 1 | |
| 15:28, 10 August 2015 | ProB CSPBusStatespace.png (file) |  |
31 KB | 2 | |
| 09:50, 15 April 2020 | WD Atom Example.png (file) |  |
32 KB | 1 | |
| 15:01, 15 December 2013 | ProB Lift OpPane WithJump Exec98.png (file) |  |
32 KB | 1 | |
| 08:26, 19 January 2010 | ProB Jukebox AnalyseGraphicallyUnsatProp2.png (file) |  |
33 KB | 1 | |
| 14:00, 18 January 2010 | ProBWinExamplesFolder.png (file) |  |
33 KB | 1 | |
| 12:07, 16 April 2015 | ProB MC Heuristic.png (file) |  |
34 KB | 1 | |
| 16:55, 11 February 2015 | CBCMBTResult.png (file) |  |
34 KB | 1 | |
| 08:14, 12 March 2014 | Disprover proof control.png (file) |  |
34 KB | 1 | |
| 06:25, 25 March 2022 | ProB2UI VisB View Export.png (file) |  |
35 KB | 1 | |
| 14:36, 20 January 2016 | ProB Argumentation Screenshot2.png (file) |  |
35 KB | 1 | |
| 15:53, 18 January 2010 | ProB AnimationPhases.png (file) |  |
36 KB | 1 | |
| 16:55, 11 February 2015 | CBCMBTDialog.png (file) |  |
36 KB | 1 | |
| 08:48, 11 November 2013 | MLiftAnimateWithProB.png (file) |  |
36 KB | 1 | |
| 05:52, 28 August 2015 | CBC Test Tree States Example1.png (file) |  |
37 KB | 1 | |
| 10:01, 21 December 2015 | MCInnerFIFO proj cardq.png (file) |  |
37 KB | 1 | |
| 12:49, 18 January 2010 | GraphicalViewerPreferencesMenuEntry.png (file) |  |
38 KB | 1 | |
| 14:44, 19 January 2010 | ProB PropagationAfterLoad2.png (file) |  |
38 KB | 1 | |
| 14:01, 18 January 2010 | ProB LiftAfterLoad.png (file) |  |
38 KB | 1 | |
| 14:36, 20 January 2016 | ProB Argumentation Dot.png (file) |  |
38 KB | 1 | |
| 09:00, 22 April 2020 | Rodin Induction Operation ProB.png (file) |  |
38 KB | 2 | |
| 07:47, 17 June 2020 | WD VSCode Example1.png (file) |  |
38 KB | 1 | |
| 14:05, 11 October 2012 | TkWindowsDownload.png (file) |  |
38 KB | 1 | |
| 14:46, 22 July 2014 | ProB RushHour v2 TLC Dialog.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 | |
| 15:06, 20 January 2016 | ProB Argumentation Dot3.png (file) |  |
39 KB | 1 | |
| 15:41, 20 January 2016 | ProBRodinArgumentationState.png (file) |  |
40 KB | 1 |
