File list
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | User | Description | Versions |
|---|---|---|---|---|---|---|
| 17:15, 21 April 2020 | Rodin Induction ScreenshotFinal.png (file) |  |
31 KB | Michael Leuschel (talk | contribs) | 1 | |
| 09:00, 22 April 2020 | Rodin Induction Operation ProB.png (file) |  |
38 KB | Michael Leuschel (talk | contribs) | 2 | |
| 09:18, 22 April 2020 | Rodin Induction Counter ProB.png (file) |  |
51 KB | Michael Leuschel (talk | contribs) | 1 | |
| 12:44, 9 June 2020 | ProBLTSMinTk.png (file) |  |
268 KB | Michael Leuschel (talk | contribs) | 1 | |
| 07:46, 17 June 2020 | WD VSCode Settings.png (file) |  |
160 KB | Michael Leuschel (talk | contribs) | 1 | |
| 07:47, 17 June 2020 | WD VSCode Example1.png (file) |  |
38 KB | Michael Leuschel (talk | contribs) | 1 | |
| 07:47, 17 June 2020 | WD VSCode Example2.png (file) |  |
44 KB | Michael Leuschel (talk | contribs) | 1 | |
| 09:23, 15 July 2020 | Wd prob.pdf (file) |  |
681 KB | Michael Leuschel (talk | contribs) | 1 | |
| 09:52, 17 September 2020 | ProB AtelierB Resource.png (file) |  |
227 KB | Michael Leuschel (talk | contribs) | 1 | |
| 09:58, 17 September 2020 | ProB AtelierB Proof.png (file) |  |
125 KB | Michael Leuschel (talk | contribs) | 1 | |
| 16:04, 4 February 2021 | MBT-CBC-Dialog-SC.png (file) |  |
14 KB | David Geleßus (talk | contribs) | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 16:04, 4 February 2021 | MBT-CBC-Menu-SC.png (file) |  |
34 KB | David Geleßus (talk | contribs) | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 16:04, 4 February 2021 | MBT-CBC-Result-SC.png (file) |  |
9 KB | David Geleßus (talk | contribs) | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 16:04, 4 February 2021 | MBT-CBC-Tree-Acc.png (file) |  |
25 KB | David Geleßus (talk | contribs) | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 16:05, 4 February 2021 | MBT-CBC-Tree-DC.png (file) |  |
46 KB | David Geleßus (talk | contribs) | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 16:05, 4 February 2021 | MBT-CBC-Tree-SC.png (file) |  |
9 KB | David Geleßus (talk | contribs) | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 16:05, 4 February 2021 | MBT-MCM-Dialog-Acc.png (file) |  |
19 KB | David Geleßus (talk | contribs) | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 16:05, 4 February 2021 | MBT-MCM-Dialog-SC.png (file) |  |
16 KB | David Geleßus (talk | contribs) | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 16:06, 4 February 2021 | MBT-MCM-Result-Acc.png (file) |  |
3 KB | David Geleßus (talk | contribs) | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 16:06, 4 February 2021 | MBT-MCM-Result-SC.png (file) |  |
3 KB | David Geleßus (talk | contribs) | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 09:00, 3 March 2021 | ProB2JavaFX UI Overview VisB.png (file) |  |
301 KB | Michael Leuschel (talk | contribs) | 1 | |
| 09:04, 3 March 2021 | ProB2UI VisB View.png (file) |  |
22 KB | Michael Leuschel (talk | contribs) | 1 | |
| 10:42, 3 March 2021 | TL0.png (file) |  |
8 KB | Fabian Vu (talk | contribs) | 1 | |
| 10:42, 3 March 2021 | TL1.png (file) |  |
10 KB | Fabian Vu (talk | contribs) | 1 | |
| 10:43, 3 March 2021 | TL2.png (file) |  |
9 KB | Fabian Vu (talk | contribs) | 1 | |
| 10:43, 3 March 2021 | TL3.png (file) |  |
10 KB | Fabian Vu (talk | contribs) | 1 | |
| 10:48, 3 March 2021 | TL4.png (file) |  |
9 KB | Fabian Vu (talk | contribs) | 1 | |
| 12:13, 3 March 2021 | TrafficLight Simulation.gif (file) |  |
398 KB | Fabian Vu (talk | contribs) | 3 | |
| 09:17, 24 November 2021 | ProBUMLSeqCharScheduler.png (file) |  |
18 KB | Michael Leuschel (talk | contribs) | 1 | |
| 09:33, 24 November 2021 | ProBUMLSeqChartCmd.png (file) |  |
86 KB | Michael Leuschel (talk | contribs) | 1 | |
| 07:18, 27 November 2021 | Lift proj.pdf (file) | |
18 KB | Michael Leuschel (talk | contribs) | 1 | |
| 07:20, 27 November 2021 | Lift proj.png (file) |  |
43 KB | Michael Leuschel (talk | contribs) | 1 | |
| 08:49, 24 January 2022 | ProB AtelierB StartProB Menu.png (file) |  |
49 KB | Michael Leuschel (talk | contribs) | 1 | |
| 08:42, 4 March 2022 | DisproverPrefs.png (file) |  |
52 KB | Michael Leuschel (talk | contribs) | 1 | |
| 09:26, 4 March 2022 | CBCStaticAssertionCheck.png (file) |  |
24 KB | Michael Leuschel (talk | contribs) | 1 | |
| 09:26, 4 March 2022 | DisproverProB2UIStateView1.png (file) |  |
52 KB | Michael Leuschel (talk | contribs) | 1 | |
| 09:31, 4 March 2022 | DisproverExportExample.png (file) |  |
44 KB | Michael Leuschel (talk | contribs) | 1 | |
| 11:02, 4 March 2022 | DisproverProB2UIStateView2.png (file) |  |
24 KB | Michael Leuschel (talk | contribs) | 1 | |
| 06:23, 25 March 2022 | ProB2UI VisB Debug Table View.png (file) |  |
169 KB | Michael Leuschel (talk | contribs) | 1 | |
| 06:25, 25 March 2022 | ProB2UI VisB View Export.png (file) |  |
35 KB | Michael Leuschel (talk | contribs) | 1 | |
| 11:38, 8 November 2022 | ProBTerminalizerDemo.gif (file) |  |
1.73 MB | Michael Leuschel (talk | contribs) | 2 | |
| 11:44, 8 November 2022 | ProBTerminalizerReplDemo.gif (file) |  |
719 KB | Michael Leuschel (talk | contribs) | 1 | |
| 08:11, 24 January 2023 | ProB2UI VisB View ExportedHTML.png (file) |  |
211 KB | Michael Leuschel (talk | contribs) | 1 | |
| 08:04, 8 January 2024 | IceCream Generic.pdf (file) | |
21 KB | Michael Leuschel (talk | contribs) | 1 | |
| 09:10, 8 January 2024 | IceCream Generic.png (file) |  |
55 KB | Michael Leuschel (talk | contribs) | 1 | |
| 09:37, 8 January 2024 | ProB2 UI Rules View.png (file) |  |
29 KB | Jan Gruteser (talk | contribs) | 1 | |
| 11:00, 14 January 2024 | Open SimB.png (file) |  |
691 KB | Fabian Vu (talk | contribs) | 3 | |
| 11:12, 14 January 2024 | SimB Window.png (file) |  |
358 KB | Fabian Vu (talk | contribs) | 3 | |
| 13:06, 14 January 2024 | Estimation.png (file) |  |
93 KB | Fabian Vu (talk | contribs) | 2 | |
| 13:06, 14 January 2024 | HypothesisTesting.png (file) |  |
96 KB | Fabian Vu (talk | contribs) | 2 |
