File list
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | User | Description | Versions |
|---|---|---|---|---|---|---|
| 08:22, 9 December 2013 | Disprover-all.png (file) |  |
759 bytes | Sebastian Krings | 1 | |
| 14:27, 18 January 2010 | Quality.png (file) |  |
2 KB | Jens Bendisposto | 1 | |
| 15:44, 18 November 2009 | Out of date icon.png (file) |  |
3 KB | Jens Bendisposto | 1 | |
| 16:06, 4 February 2021 | MBT-MCM-Result-SC.png (file) |  |
3 KB | David Geleßus | 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 | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 16:26, 18 January 2010 | ProB JukeboxReopenCommand.png (file) |  |
6 KB | Michael Leuschel | 1 | |
| 14:57, 10 February 2016 | ImpossibleKeepRelation.png (file) |  |
7 KB | Ivaylo Dobrikov | 1 | |
| 10:36, 11 February 2016 | ImpossibleRelationEn.png (file) |  |
7 KB | Ivaylo Dobrikov | 1 | |
| 07:04, 23 May 2014 | MLiftOpenHTMLVisualization.png (file) |  |
8 KB | Lukas Ladenberger | 2 | |
| 06:20, 11 October 2017 | History.png (file) |  |
8 KB | Yumiko Takahashi | 2 | |
| 14:57, 10 February 2016 | ImpossibleDisableRelation.png (file) |  |
8 KB | Ivaylo Dobrikov | 1 | |
| 13:51, 26 February 2016 | B-mode.el.zip (file) |  |
8 KB | Michael Leuschel | 1 | |
| 14:58, 10 February 2016 | PossibleDisableRelation.png (file) |  |
8 KB | Ivaylo Dobrikov | 1 | |
| 14:58, 10 February 2016 | PossibleEnableRelation.png (file) |  |
8 KB | Ivaylo Dobrikov | 1 | |
| 10:42, 3 March 2021 | TL0.png (file) |  |
8 KB | Fabian Vu | 1 | |
| 09:41, 13 June 2013 | Scheduler tutorial2013.zip (file) | |
8 KB | Jens Bendisposto | Example Project for Rodin User and Developer Workshop 2013 | 1 |
| 06:48, 11 October 2017 | Preferences Tab.png (file) |  |
8 KB | Yumiko Takahashi | 2 | |
| 17:05, 16 March 2015 | Independence.png (file) |  |
9 KB | Ivaylo Dobrikov | 1 | |
| 13:52, 18 January 2010 | ProBWinContents.png (file) |  |
9 KB | Michael Leuschel | 1 | |
| 16:05, 4 February 2021 | MBT-CBC-Tree-SC.png (file) |  |
9 KB | David Geleßus | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 16:46, 18 January 2010 | ProB Jukebox AnalyseGraphicallyCommand.png (file) |  |
9 KB | Michael Leuschel | 1 | |
| 14:00, 18 January 2010 | ProBWinOpen.png (file) |  |
9 KB | Michael Leuschel | 1 | |
| 10:43, 3 March 2021 | TL2.png (file) |  |
9 KB | Fabian Vu | 1 | |
| 16:04, 4 February 2021 | MBT-CBC-Result-SC.png (file) |  |
9 KB | David Geleßus | Originally added by Jessica Petrasch in prob2-doc | 1 |
| 10:48, 3 March 2021 | TL4.png (file) |  |
9 KB | Fabian Vu | 1 | |
| 17:11, 6 November 2014 | LTLViewVisualisation1.png (file) |  |
9 KB | Ivaylo Dobrikov | 1 | |
| 10:43, 3 March 2021 | TL3.png (file) |  |
10 KB | Fabian Vu | 1 | |
| 10:42, 3 March 2021 | TL1.png (file) |  |
10 KB | Fabian Vu | 1 | |
| 16:49, 11 February 2015 | FindSequenceResult.png (file) |  |
10 KB | Michael Leuschel | 1 | |
| 11:04, 26 April 2012 | Jira.png (file) |  |
10 KB | Jens Bendisposto | 1 | |
| 06:49, 11 October 2017 | Runconfigurations Tab.png (file) |  |
10 KB | Yumiko Takahashi | 2 | |
| 16:03, 1 March 2011 | ProBModelCheckNoCounterExampleFound.png (file) |  |
10 KB | Michael Leuschel | 2 | |
| 13:43, 23 May 2014 | Lift.zip (file) | |
10 KB | Lukas Ladenberger | 3 | |
| 07:13, 11 October 2017 | Add CBC.png (file) |  |
11 KB | Yumiko Takahashi | 1 | |
| 14:37, 18 January 2010 | ProBWinModelCheckCounterExampleFound.png (file) |  |
11 KB | Michael Leuschel | 1 | |
| 08:36, 19 January 2010 | ProB Jukebox AnalyseGraphicallyCustomCommand.png (file) |  |
11 KB | Michael Leuschel | 1 | |
| 14:57, 10 February 2016 | GuaranteedEnableKeepRelation.png (file) |  |
11 KB | Ivaylo Dobrikov | 1 | |
| 06:47, 11 October 2017 | Verifications Tab.png (file) |  |
11 KB | Yumiko Takahashi | 3 | |
| 06:46, 11 October 2017 | Machines Tab.png (file) |  |
11 KB | Yumiko Takahashi | 2 | |
| 06:45, 11 October 2017 | Project Tab.png (file) |  |
11 KB | Yumiko Takahashi | 2 | |
| 16:47, 18 January 2010 | ProB Jukebox UnsatProp.png (file) |  |
11 KB | Michael Leuschel | 1 | |
| 14:22, 18 January 2010 | ProB LiftAfterInitInvariant.png (file) |  |
12 KB | Michael Leuschel | 1 | |
| 08:52, 11 November 2013 | MLiftNavigateHTMLVisualization2.png (file) |  |
12 KB | Michael Leuschel | 1 | |
| 15:35, 27 February 2012 | ClicknProveDoubleCounter.png (file) |  |
12 KB | Bivab | Reverted to version as of 13:23, 1 March 2011 | 3 |
| 16:30, 27 February 2012 | StackConstructiveProBEvalConsoleEmpty.png (file) |  |
12 KB | Michael Leuschel | 3 | |
| 08:48, 19 January 2010 | ProB Jukebox AnalyseGraphicallyOperationPRE.png (file) |  |
12 KB | Michael Leuschel | 1 | |
| 14:08, 11 October 2012 | ProBWindowsFolder.png (file) |  |
12 KB | Michael Leuschel | 1 | |
| 17:07, 16 March 2015 | Dependency table.png (file) |  |
13 KB | Ivaylo Dobrikov | 1 | |
| 14:43, 18 February 2016 | ProB Bishops 8 14 Screenshot.png (file) |  |
13 KB | Michael Leuschel | 1 | |
| 08:16, 12 March 2014 | Disprover proof.png (file) |  |
13 KB | Michael Leuschel | 1 |
