User contributions for Ivaylo Dobrikov

10 March 2015

• 13:1413:14, 10 March 2015 diff hist +134‎ LTL Model Checking ‎ →‎LTL formulas in a separate file
• 12:5612:56, 10 March 2015 diff hist 0‎ Tutorial LTL Counter-example View ‎ →‎Use Case for the LTL Counter-example Viewer
• 12:5412:54, 10 March 2015 diff hist +1‎ Tutorial LTL Counter-example View ‎ →‎Use Case for the LTL Counter-example Viewer

28 January 2015

• 13:2613:26, 28 January 2015 diff hist +1‎ Tutorial LTL Counter-example View ‎ →‎Visualization of Counter-examples in Rodin
• 13:2413:24, 28 January 2015 diff hist +2‎ LTL Model Checking ‎ →‎Other Relevant Tutorials about LTL Model Checking

13 January 2015

• 08:5808:58, 13 January 2015 diff hist +2‎ Mutual Exclusion (Fairness) ‎No edit summary current

12 January 2015

• 16:4916:49, 12 January 2015 diff hist 0‎ Mutual Exclusion (Fairness) ‎No edit summary
• 16:4716:47, 12 January 2015 diff hist +184‎ Mutual Exclusion (Fairness) ‎No edit summary
• 16:3216:32, 12 January 2015 diff hist +53‎ Mutual Exclusion (Fairness) ‎No edit summary
• 16:2216:22, 12 January 2015 diff hist +93‎ Mutual Exclusion (Fairness) ‎No edit summary
• 16:1716:17, 12 January 2015 diff hist +10‎ Mutual Exclusion (Fairness) ‎No edit summary
• 16:1616:16, 12 January 2015 diff hist −11‎ Mutual Exclusion (Fairness) ‎No edit summary
• 15:5315:53, 12 January 2015 diff hist +9‎ LTL Model Checking ‎ →‎Other Tutorials about LTL Model Checking
• 15:4715:47, 12 January 2015 diff hist +34‎ ProB Examples ‎No edit summary
• 15:4715:47, 12 January 2015 diff hist +219‎ LTL Model Checking ‎ →‎Other Tutorials about LTL Model Checking
• 15:4615:46, 12 January 2015 diff hist −220‎ LTL Model Checking ‎ →‎Setting Fairness Constraints
• 15:4615:46, 12 January 2015 diff hist +220‎ LTL Model Checking ‎ →‎Setting Fairness Constraints
• 15:4515:45, 12 January 2015 diff hist −2‎ LTL Model Checking ‎ →‎Other Tutorials about LTL Model Checking
• 15:4415:44, 12 January 2015 diff hist +4,151‎ N Mutual Exclusion (Fairness) ‎ Created page with 'Consider an Event-B model formalizing an algorithm for mutual exclusion with semaphores for two concurrent processes <math>P_1</math> and <math>P_2</math>. Each process has been …'
• 15:3315:33, 12 January 2015 diff hist −1‎ Tutorial ‎No edit summary
• 15:2315:23, 12 January 2015 diff hist +4‎ Tutorial ‎No edit summary

5 January 2015

• 15:3915:39, 5 January 2015 diff hist +5‎ LTL Model Checking ‎ →‎Other Tutorials about LTL Model Checking
• 15:3715:37, 5 January 2015 diff hist +83‎ LTL Model Checking ‎ →‎Other Tutorials about LTL Model Checking
• 15:3415:34, 5 January 2015 diff hist +137‎ LTL Model Checking ‎ →‎LTL formulas in a separate file

3 December 2014

• 09:2109:21, 3 December 2014 diff hist +1‎ Tutorial LTL Counter-example View ‎ →‎Use Case for the LTL Counter-example Viewer
• 09:1709:17, 3 December 2014 diff hist −6‎ Tutorial LTL Counter-example View ‎ →‎Visualization of Counter-examples in Rodin

20 November 2014

• 16:0016:00, 20 November 2014 diff hist +14‎ LTL Model Checking ‎ →‎LTL formulas in a separate file
• 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

10 November 2014

• 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

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 …'