Uploads by Ivaylo Dobrikov
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 12:48, 22 February 2016 | EnableGraph Example.png (file) |  |
68 KB | 1 | |
| 14:50, 16 February 2016 | EnablingAnalysisMenu.png (file) |  |
153 KB | Reverted to version as of 14:44, 16 February 2016 | 3 |
| 14:54, 11 February 2016 | EnablingResults.png (file) |  |
67 KB | 1 | |
| 14:40, 11 February 2016 | ImpossibleDisableExample.png (file) |  |
18 KB | 1 | |
| 14:38, 11 February 2016 | ToggleExample.png (file) |  |
15 KB | 1 | |
| 14:38, 11 February 2016 | SyntacticUnchangedExample.png (file) |  |
17 KB | 1 | |
| 14:38, 11 February 2016 | SyntacticIndependentExample.png (file) |  |
18 KB | 1 | |
| 14:38, 11 February 2016 | SyntacticFullyIndependentExample.png (file) |  |
19 KB | 1 | |
| 14:37, 11 February 2016 | PossibleExample.png (file) |  |
16 KB | 1 | |
| 14:37, 11 February 2016 | PossibleEnableExample.png (file) |  |
18 KB | 1 | |
| 14:36, 11 February 2016 | PossibleDisableExample.png (file) |  |
18 KB | 1 | |
| 14:36, 11 February 2016 | KeepExample.png (file) |  |
15 KB | 1 | |
| 14:36, 11 February 2016 | InfeasibleExample.png (file) |  |
17 KB | 1 | |
| 14:35, 11 February 2016 | ImpossibleKeepExample.png (file) |  |
17 KB | 1 | |
| 14:35, 11 February 2016 | ImpossibleExample.png (file) |  |
15 KB | 1 | |
| 14:34, 11 February 2016 | GuaranteedKeepExample.png (file) |  |
17 KB | 1 | |
| 14:34, 11 February 2016 | GuaranteedExample.png (file) |  |
17 KB | 1 | |
| 14:33, 11 February 2016 | GuaranteedEnableExample.png (file) |  |
18 KB | 1 | |
| 10:37, 11 February 2016 | GuaranteedRelationEn.png (file) |  |
13 KB | 1 | |
| 10:36, 11 February 2016 | ImpossibleRelationEn.png (file) |  |
7 KB | 1 | |
| 10:34, 11 February 2016 | GuaranteedRelation.png (file) |  |
13 KB | 3 | |
| 14:58, 10 February 2016 | PossibleEnableRelation.png (file) |  |
8 KB | 1 | |
| 14:58, 10 February 2016 | PossibleDisableRelation.png (file) |  |
8 KB | 1 | |
| 14:57, 10 February 2016 | ImpossibleKeepRelation.png (file) |  |
7 KB | 1 | |
| 14:57, 10 February 2016 | ImpossibleDisableRelation.png (file) |  |
8 KB | 1 | |
| 14:57, 10 February 2016 | GuaranteedEnableKeepRelation.png (file) |  |
11 KB | 1 | |
| 09:27, 4 September 2015 | PGEEvaluationTable.png (file) |  |
105 KB | 1 | |
| 08:45, 4 September 2015 | StateSpaceBreadthFirst.png (file) |  |
50 KB | 2 | |
| 08:45, 4 September 2015 | StateSpaceDepthFirst.png (file) |  |
49 KB | 3 | |
| 09:36, 3 September 2015 | StateSpacePGE.png (file) |  |
62 KB | 1 | |
| 08:40, 1 September 2015 | RelationFigureExplanation.png (file) |  |
13 KB | 1 | |
| 08:39, 1 September 2015 | KeepRelation.png (file) |  |
13 KB | 1 | |
| 08:38, 1 September 2015 | ImpossibleRelation.png (file) |  |
13 KB | 1 | |
| 10:03, 30 August 2015 | CE LTL assertion.png (file) |  |
24 KB | 2 | |
| 09:58, 30 August 2015 | CSP Failures Debugger.png (file) |  |
32 KB | 2 | |
| 09:55, 30 August 2015 | CSP Deadlock Trace.png (file) |  |
25 KB | 3 | |
| 09:52, 30 August 2015 | CSP Trace Debugger.png (file) |  |
40 KB | 1 | |
| 09:34, 30 August 2015 | CSPAssertionsViewer ctxmenu.png (file) |  |
133 KB | 3 | |
| 09:16, 30 August 2015 | CSPAssertionsViewer.png (file) |  |
56 KB | 1 | |
| 17:07, 16 March 2015 | Dependency table.png (file) |  |
13 KB | 1 | |
| 17:05, 16 March 2015 | Independence.png (file) |  |
9 KB | 1 | |
| 17:04, 16 March 2015 | Partial state space por.png (file) |  |
26 KB | 1 | |
| 17:01, 16 March 2015 | Full state space por.png (file) |  |
25 KB | 1 | |
| 09:06, 7 November 2014 | LTLViewVisualisation6.png (file) |  |
17 KB | 1 | |
| 09:06, 7 November 2014 | LTLViewVisualisation5.png (file) |  |
16 KB | 1 | |
| 09:04, 7 November 2014 | LTLViewCEForGF1.png (file) |  |
37 KB | 1 | |
| 09:01, 7 November 2014 | LTLViewMUTEXEvents.png (file) |  |
25 KB | 1 | |
| 17:25, 6 November 2014 | LTLViewVisualisation4.png (file) |  |
37 KB | 1 | |
| 17:24, 6 November 2014 | LTLViewVisualisation3.png (file) |  |
14 KB | 1 | |
| 17:21, 6 November 2014 | LTLViewFinitePathUntil.png (file) |  |
20 KB | 1 |
