Uploads by Michael Leuschel

This special page shows all uploaded files.

File list
First pagePrevious pageNext pageLast page
Date Name Thumbnail Size Description Versions
09:10, 8 January 2024 IceCream Generic.png (file) 55 KB   1
08:04, 8 January 2024 IceCream Generic.pdf (file) 21 KB   1
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
First pagePrevious pageNext pageLast page