Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 08:11, 24 January 2023 | ProB2UI VisB View ExportedHTML.png (file) |  |
211 KB | 1 | |
| 11:44, 8 November 2022 | ProBTerminalizerReplDemo.gif (file) |  |
719 KB | 1 | |
| 11:38, 8 November 2022 | ProBTerminalizerDemo.gif (file) |  |
1.73 MB | 2 | |
| 06:25, 25 March 2022 | ProB2UI VisB View Export.png (file) |  |
35 KB | 1 | |
| 06:23, 25 March 2022 | ProB2UI VisB Debug Table View.png (file) |  |
169 KB | 1 | |
| 11:02, 4 March 2022 | DisproverProB2UIStateView2.png (file) |  |
24 KB | 1 | |
| 09:31, 4 March 2022 | DisproverExportExample.png (file) |  |
44 KB | 1 | |
| 09:26, 4 March 2022 | DisproverProB2UIStateView1.png (file) |  |
52 KB | 1 | |
| 09:26, 4 March 2022 | CBCStaticAssertionCheck.png (file) |  |
24 KB | 1 | |
| 08:42, 4 March 2022 | DisproverPrefs.png (file) |  |
52 KB | 1 | |
| 08:49, 24 January 2022 | ProB AtelierB StartProB Menu.png (file) |  |
49 KB | 1 | |
| 07:20, 27 November 2021 | Lift proj.png (file) |  |
43 KB | 1 | |
| 07:18, 27 November 2021 | Lift proj.pdf (file) |  |
18 KB | 1 | |
| 09:33, 24 November 2021 | ProBUMLSeqChartCmd.png (file) |  |
86 KB | 1 | |
| 09:17, 24 November 2021 | ProBUMLSeqCharScheduler.png (file) |  |
18 KB | 1 | |
| 09:04, 3 March 2021 | ProB2UI VisB View.png (file) |  |
22 KB | 1 | |
| 09:00, 3 March 2021 | ProB2JavaFX UI Overview VisB.png (file) |  |
301 KB | 1 | |
| 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 | |
| 09:23, 15 July 2020 | Wd prob.pdf (file) | |
681 KB | 1 | |
| 07:47, 17 June 2020 | WD VSCode Example2.png (file) |  |
44 KB | 1 | |
| 07:47, 17 June 2020 | WD VSCode Example1.png (file) |  |
38 KB | 1 | |
| 07:46, 17 June 2020 | WD VSCode Settings.png (file) |  |
160 KB | 1 | |
| 12:44, 9 June 2020 | ProBLTSMinTk.png (file) |  |
268 KB | 1 | |
| 09:18, 22 April 2020 | Rodin Induction Counter ProB.png (file) |  |
51 KB | 1 | |
| 09:00, 22 April 2020 | Rodin Induction Operation ProB.png (file) |  |
38 KB | 2 | |
| 17:15, 21 April 2020 | Rodin Induction ScreenshotFinal.png (file) |  |
31 KB | 1 | |
| 17:08, 21 April 2020 | Rodin Induction Screenshot3.png (file) |  |
121 KB | 1 | |
| 17:07, 21 April 2020 | Rodin Induction Screenshot2.png (file) |  |
71 KB | 1 | |
| 17:06, 21 April 2020 | Rodin Induction Screenshot1.png (file) |  |
62 KB | 1 | |
| 16:54, 21 April 2020 | ProB Induction Screenshot1.png (file) |  |
40 KB | 1 | |
| 08:51, 17 April 2020 | ProB HL3 DB Screenshot.png (file) |  |
673 KB | 1 | |
| 08:41, 17 April 2020 | ProB HL3 DB Screenshot.pdf (file) | |
4.21 MB | 1 | |
| 09:50, 15 April 2020 | WD Atom Example.png (file) |  |
32 KB | 1 | |
| 09:50, 15 April 2020 | WD Atom Settings.png (file) |  |
56 KB | 1 | |
| 09:44, 15 April 2020 | WD Tk List.png (file) |  |
46 KB | 1 | |
| 09:44, 15 April 2020 | WD Tk Warnings.png (file) |  |
165 KB | 1 | |
| 09:44, 15 April 2020 | WD Tk Menu.png (file) |  |
165 KB | 1 | |
| 12:39, 5 March 2020 | Prob show specialized invariants result.png (file) |  |
96 KB | 1 | |
| 12:38, 5 March 2020 | Prob show specialized invariants menu.png (file) |  |
41 KB | 1 | |
| 10:24, 5 March 2020 | Rodin export pos.png (file) |  |
81 KB | 2 | |
| 07:46, 20 July 2019 | ProB2JavaFX UI Overview New.png (file) |  |
193 KB | 2 | |
| 09:23, 1 December 2018 | ExternalFunctions.pdf (file) | |
174 KB | 1 | |
| 11:23, 7 February 2018 | AlloyAtelierB.png (file) |  |
193 KB | 1 | |
| 11:17, 7 February 2018 | ProBAlloyRiver.png (file) |  |
177 KB | 1 | |
| 08:24, 7 February 2018 | ProBAlloyQueens.png (file) |  |
138 KB | 1 | |
| 07:45, 6 October 2017 | EvalB.png (file) |  |
70 KB | 1 | |
| 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 |
