User contributions for Ivaylo Dobrikov

10 November 2014

• 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

7 November 2014

• 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

6 November 2014

• 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

17 October 2014

• 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

16 October 2014

• 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 October 2014

• 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

14 April 2014

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

10 April 2014

• 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

20 September 2011

• 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