User contributions for Ivaylo Dobrikov

15:5915:59, 20 November 2014 diff hist +8‎ LTL Model Checking ‎ →‎Setting Fairness Constraints
15:5815:58, 20 November 2014 diff hist +108‎ LTL Model Checking ‎ →‎Supported Syntax

18:2018:20, 10 November 2014 diff hist −1‎ Tutorial LTL Counter-example View ‎ →‎Use Case for the LTL Counter-example Viewer
18:1718:17, 10 November 2014 diff hist −4‎ Tutorial LTL Counter-example View ‎ →‎Use Case for the LTL Counter-example Viewer
18:1618:16, 10 November 2014 diff hist +6‎ Tutorial LTL Counter-example View ‎ →‎Use Case for the LTL Counter-example Viewer
18:1618:16, 10 November 2014 diff hist +40‎ Tutorial LTL Counter-example View ‎ →‎Use Case for the LTL Counter-example Viewer
18:1418:14, 10 November 2014 diff hist +8‎ Tutorial LTL Counter-example View ‎ →‎Use Case for the LTL Counter-example Viewer
18:1218:12, 10 November 2014 diff hist +1‎ Tutorial LTL Counter-example View ‎ →‎Use Case for the LTL Counter-example Viewer
10:0410:04, 10 November 2014 diff hist +85‎ Tutorial ‎No edit summary
10:0110:01, 10 November 2014 diff hist +170‎ Tutorial LTL Counter-example View ‎ →‎Visualization of Counter-examples in Rodin
09:5609:56, 10 November 2014 diff hist −95‎ Tutorial LTL Counter-example View ‎No edit summary
09:5509:55, 10 November 2014 diff hist +95‎ Tutorial LTL Counter-example View ‎ →‎Visualization of Counter-examples in Rodin
08:4808:48, 10 November 2014 diff hist +174‎ Tutorial LTL Counter-example View ‎ →‎Visualization of Counter-examples in Rodin
08:3508:35, 10 November 2014 diff hist +9‎ Tutorial LTL Counter-example View ‎ →‎LTL Model Checking and the Meaning of Counter-examples
08:3408:34, 10 November 2014 diff hist +13‎ Tutorial LTL Counter-example View ‎ →‎LTL Model Checking and the Meaning of Counter-examples

10:2710:27, 7 November 2014 diff hist +720‎ Tutorial LTL Counter-example View ‎No edit summary
09:1609:16, 7 November 2014 diff hist +36‎ Tutorial LTL Counter-example View ‎No edit summary
09:1209:12, 7 November 2014 diff hist +4,899‎ Tutorial LTL Counter-example View ‎No edit summary
09:0609:06, 7 November 2014 diff hist 0‎ N File:LTLViewVisualisation6.png ‎No edit summary current
09:0609:06, 7 November 2014 diff hist 0‎ N File:LTLViewVisualisation5.png ‎No edit summary current
09:0409:04, 7 November 2014 diff hist 0‎ N File:LTLViewCEForGF1.png ‎No edit summary current
09:0109:01, 7 November 2014 diff hist 0‎ N File:LTLViewMUTEXEvents.png ‎No edit summary current

17:2817:28, 6 November 2014 diff hist +7,853‎ N Tutorial LTL Counter-example View ‎ Created page with 'In this tutorial a quick overview will be given describing the LTL counter-example visualization plug-in in Rodin. The functionality of the plug-in will be presented by means of …'
17:2517:25, 6 November 2014 diff hist 0‎ N File:LTLViewVisualisation4.png ‎No edit summary current
17:2417:24, 6 November 2014 diff hist 0‎ N File:LTLViewVisualisation3.png ‎No edit summary current
17:2117:21, 6 November 2014 diff hist 0‎ N File:LTLViewFinitePathUntil.png ‎No edit summary current
17:1817:18, 6 November 2014 diff hist 0‎ N File:LTLViewVisualisation2.png ‎No edit summary current
17:1417:14, 6 November 2014 diff hist 0‎ N File:LTLViewFinitePathUnknown.png ‎No edit summary current
17:1117:11, 6 November 2014 diff hist 0‎ N File:LTLViewVisualisation1.png ‎No edit summary current
17:0417:04, 6 November 2014 diff hist 0‎ N File:LTLViewFinitePath.png ‎No edit summary current
17:0217:02, 6 November 2014 diff hist 0‎ N File:LTLViewInfinitePath.png ‎No edit summary current
16:5616:56, 6 November 2014 diff hist 0‎ N File:Deadlock path.png ‎No edit summary current

15:1715:17, 17 October 2014 diff hist +33‎ LTL Model Checking ‎No edit summary
15:1615:16, 17 October 2014 diff hist +297‎ LTL Model Checking ‎ →‎Setting Fairness Constraints

12:2212:22, 16 October 2014 diff hist −1‎ LTL Model Checking ‎ →‎Storing LTL Assertions in the Model
12:1512:15, 16 October 2014 diff hist +403‎ LTL Model Checking ‎ →‎Supported Syntax

15:3815:38, 15 October 2014 diff hist +49‎ LTL Model Checking ‎ →‎Supported Syntax
15:0515:05, 15 October 2014 diff hist −12‎ LTL Model Checking ‎ →‎Supported Syntax
15:0115:01, 15 October 2014 diff hist +365‎ LTL Model Checking ‎ →‎Supported Syntax

13:3513:35, 14 April 2014 diff hist −3‎ LTL Model Checking ‎No edit summary

17:4717:47, 10 April 2014 diff hist −3‎ LTL Model Checking ‎No edit summary
16:3016:30, 10 April 2014 diff hist −20‎ LTL Model Checking ‎No edit summary
16:2616:26, 10 April 2014 diff hist +6,531‎ LTL Model Checking ‎No edit summary
15:5015:50, 10 April 2014 diff hist 0‎ N File:Ltlviewercontext.png ‎No edit summary current
15:3215:32, 10 April 2014 diff hist 0‎ N File:Ltlviewer.png ‎No edit summary current

11:4511:45, 20 September 2011 diff hist +5‎ Download ‎ →‎Nightly Build
09:1309:13, 20 September 2011 diff hist +13‎ Download ‎ →‎Nightly Build
09:1209:12, 20 September 2011 diff hist +11‎ Download ‎ →‎Nightly Build
09:1109:11, 20 September 2011 diff hist −18‎ Download ‎ →‎Nightly Build
09:0609:06, 20 September 2011 diff hist +18‎ Download ‎ →‎Nightly Build

User contributions for Ivaylo Dobrikov

20 November 2014

10 November 2014

7 November 2014

6 November 2014

17 October 2014

16 October 2014

15 October 2014

14 April 2014

10 April 2014

20 September 2011