Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 15:51, 28 October 2014 | AllOpsCoveredDialog.png (file) |  |
16 KB | 1 | |
| 11:23, 7 February 2018 | AlloyAtelierB.png (file) |  |
193 KB | 1 | |
| 13:51, 26 February 2016 | B-mode.el.zip (file) |  |
8 KB | 1 | |
| 16:32, 15 January 2015 | BMC Counter Wrong.png (file) |  |
28 KB | 1 | |
| 09:17, 21 December 2015 | CANBus sfdp.png (file) |  |
2.52 MB | 1 | |
| 12:36, 1 March 2011 | CBCDoubleCounter1.png (file) |  |
17 KB | 1 | |
| 12:39, 1 March 2011 | CBCDoubleCounter2.png (file) |  |
17 KB | 2 | |
| 16:55, 11 February 2015 | CBCMBTDialog.png (file) |  |
36 KB | 1 | |
| 16:55, 11 February 2015 | CBCMBTMenu.png (file) |  |
48 KB | 1 | |
| 16:55, 11 February 2015 | CBCMBTResult.png (file) |  |
34 KB | 1 | |
| 16:55, 11 February 2015 | CBCMBTTreeResult.png (file) |  |
43 KB | 1 | |
| 09:26, 4 March 2022 | CBCStaticAssertionCheck.png (file) |  |
24 KB | 1 | |
| 05:49, 28 August 2015 | CBC StateSpace Example1.png (file) |  |
73 KB | 1 | |
| 05:42, 28 August 2015 | CBC Test Tree Example1.png (file) |  |
27 KB | 1 | |
| 05:52, 28 August 2015 | CBC Test Tree States Example1.png (file) |  |
37 KB | 1 | |
| 06:42, 2 September 2015 | CoverageMenu.png (file) |  |
65 KB | 1 | |
| 09:31, 4 March 2022 | DisproverExportExample.png (file) |  |
44 KB | 1 | |
| 08:42, 4 March 2022 | DisproverPrefs.png (file) |  |
52 KB | 1 | |
| 09:26, 4 March 2022 | DisproverProB2UIStateView1.png (file) |  |
52 KB | 1 | |
| 11:02, 4 March 2022 | DisproverProB2UIStateView2.png (file) |  |
24 KB | 1 | |
| 08:16, 12 March 2014 | Disprover proof.png (file) |  |
13 KB | 1 | |
| 08:14, 12 March 2014 | Disprover proof control.png (file) |  |
34 KB | 1 | |
| 12:49, 1 March 2011 | DoubleCounterCBCCommand.png (file) |  |
81 KB | 1 | |
| 16:03, 1 March 2011 | DoubleCounterStatespace.png (file) |  |
43 KB | 2 | |
| 16:02, 1 March 2011 | DoubleCounterStatespace2.png (file) |  |
50 KB | 2 | |
| 07:45, 6 October 2017 | EvalB.png (file) |  |
70 KB | 1 | |
| 09:23, 1 December 2018 | ExternalFunctions.pdf (file) |  |
174 KB | 1 | |
| 16:48, 11 February 2015 | FindSequenceDialog.png (file) |  |
18 KB | 1 | |
| 16:48, 11 February 2015 | FindSequenceMenu.png (file) |  |
72 KB | 1 | |
| 16:49, 11 February 2015 | FindSequenceResult.png (file) |  |
10 KB | 1 | |
| 12:49, 18 January 2010 | GraphicalViewerPreferences.png (file) |  |
57 KB | 1 | |
| 12:49, 18 January 2010 | GraphicalViewerPreferencesMenuEntry.png (file) |  |
38 KB | 1 | |
| 12:56, 25 October 2010 | GraphicalViewerSiemensSaoPauloL9.pdf (file) | |
30 KB | 1 | |
| 12:28, 18 January 2010 | GraphicalViewerSubMenu.png (file) |  |
52 KB | 1 | |
| 08:40, 11 November 2013 | GroovyConsoleUpgradeLatest.png (file) |  |
28 KB | 1 | |
| 12:15, 21 December 2015 | Hanoi6 proj cardondest.png (file) |  |
41 KB | 1 | |
| 12:16, 21 December 2015 | Hanoi6 sfdp.png (file) |  |
185 KB | 2 | |
| 07:05, 2 February 2016 | Jars Panes.png (file) |  |
41 KB | 2 | |
| 07:18, 27 November 2021 | Lift proj.pdf (file) | |
18 KB | 1 | |
| 07:20, 27 November 2021 | Lift proj.png (file) |  |
43 KB | 1 | |
| 18:53, 18 December 2015 | MCAlternatingBit projsrBit.png (file) |  |
57 KB | 1 | |
| 17:45, 18 December 2015 | MCAlternatingBit sfdp.png (file) |  |
691 KB | 1 | |
| 06:38, 2 September 2015 | MCDC Coverage ABZ.png (file) |  |
150 KB | 1 | |
| 10:01, 21 December 2015 | MCInnerFIFO proj cardq.png (file) |  |
37 KB | 1 | |
| 13:00, 21 December 2015 | MCInnerFIFO q3 sfdp.png (file) |  |
2.84 MB | 3 | |
| 09:00, 21 December 2015 | MCInnerFIFO sfdp.png (file) |  |
756 KB | 1 | |
| 08:48, 11 November 2013 | MLiftAnimateWithProB.png (file) |  |
36 KB | 1 | |
| 08:52, 11 November 2013 | MLiftEventsView.png (file) |  |
27 KB | 1 | |
| 08:49, 11 November 2013 | MLiftHTMLVisualization.png (file) |  |
41 KB | 1 | |
| 08:51, 11 November 2013 | MLiftNavigateHTMLVisualization.png (file) |  |
16 KB | 1 |
