User contributions for Ivaylo Dobrikov

6 November 2014

• 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