User contributions for Ivaylo Dobrikov

11 February 2016

• 14:3414:34, 11 February 2016 diff hist 0‎ N File:GuaranteedExample.png ‎No edit summary current
• 14:3314:33, 11 February 2016 diff hist 0‎ N File:GuaranteedEnableExample.png ‎No edit summary current
• 13:2813:28, 11 February 2016 diff hist +73‎ Tutorial Enabling Analysis ‎ →‎Summary of the Enabling Relations
• 13:2313:23, 11 February 2016 diff hist +93‎ Tutorial Enabling Analysis ‎ →‎Summary of the Enabling Relations
• 13:1713:17, 11 February 2016 diff hist +1,500‎ Tutorial Enabling Analysis ‎ →‎Summary of the Enabling Relations
• 12:5912:59, 11 February 2016 diff hist +341‎ Tutorial Enabling Analysis ‎No edit summary
• 10:4210:42, 11 February 2016 diff hist −1‎ Tutorial Enabling Analysis ‎ →‎Enabling Relation
• 10:3810:38, 11 February 2016 diff hist +24‎ Tutorial Enabling Analysis ‎ →‎Enabling Relation
• 10:3710:37, 11 February 2016 diff hist 0‎ N File:GuaranteedRelationEn.png ‎No edit summary current
• 10:3610:36, 11 February 2016 diff hist 0‎ N File:ImpossibleRelationEn.png ‎No edit summary current
• 10:3510:35, 11 February 2016 diff hist +4‎ Tutorial Enabling Analysis ‎ →‎Enabling Relation
• 10:3510:35, 11 February 2016 diff hist +89‎ Tutorial Enabling Analysis ‎No edit summary
• 10:3410:34, 11 February 2016 diff hist 0‎ File:GuaranteedRelation.png ‎ Ivaylo Dobrikov uploaded a new version of File:GuaranteedRelation.png current
• 10:3310:33, 11 February 2016 diff hist 0‎ File:GuaranteedRelation.png ‎ Ivaylo Dobrikov uploaded a new version of File:GuaranteedRelation.png

10 February 2016

• 15:3315:33, 10 February 2016 diff hist 0‎ Tutorial Enabling Analysis ‎No edit summary
• 15:3315:33, 10 February 2016 diff hist 0‎ Tutorial Enabling Analysis ‎No edit summary
• 15:3215:32, 10 February 2016 diff hist +6‎ Tutorial Enabling Analysis ‎No edit summary
• 15:1115:11, 10 February 2016 diff hist −10‎ Tutorial Enabling Analysis ‎ →‎Enabling Relation
• 15:1115:11, 10 February 2016 diff hist −12‎ Tutorial Enabling Analysis ‎No edit summary
• 15:1115:11, 10 February 2016 diff hist −3‎ Tutorial Enabling Analysis ‎No edit summary
• 15:0915:09, 10 February 2016 diff hist +11,277‎ N Tutorial Enabling Analysis ‎ Created page with "The B-method and in particular its successor Event-B are methodologies for formal development and verification of systems. In Event-B, a machine is usually viewed as a reactiv..."
• 14:5814:58, 10 February 2016 diff hist 0‎ N File:PossibleEnableRelation.png ‎No edit summary current
• 14:5814:58, 10 February 2016 diff hist 0‎ N File:PossibleDisableRelation.png ‎No edit summary current
• 14:5714:57, 10 February 2016 diff hist 0‎ N File:ImpossibleKeepRelation.png ‎No edit summary current
• 14:5714:57, 10 February 2016 diff hist 0‎ N File:ImpossibleDisableRelation.png ‎No edit summary current
• 14:5714:57, 10 February 2016 diff hist 0‎ N File:GuaranteedEnableKeepRelation.png ‎No edit summary current

2 February 2016

• 16:1116:11, 2 February 2016 diff hist −1‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation

29 January 2016

• 15:0515:05, 29 January 2016 diff hist +9‎ Tutorial Various Optimizations ‎ →‎Partial Order Reduction
• 13:3013:30, 29 January 2016 diff hist +29‎ Tutorial Various Optimizations ‎No edit summary
• 13:0213:02, 29 January 2016 diff hist +7‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
• 11:2211:22, 29 January 2016 diff hist +46‎ Tutorial Various Optimizations ‎No edit summary
• 11:1511:15, 29 January 2016 diff hist 0‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation

26 January 2016

• 12:5212:52, 26 January 2016 diff hist +34‎ Tutorial ‎No edit summary

7 October 2015

• 08:3108:31, 7 October 2015 diff hist +135‎ Refinement Checking ‎No edit summary

7 September 2015

• 09:1409:14, 7 September 2015 diff hist +44‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
• 09:0109:01, 7 September 2015 diff hist +2‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
• 08:5708:57, 7 September 2015 diff hist +47‎ Tutorial Various Optimizations ‎ →‎Partial Order Reduction
• 08:4508:45, 7 September 2015 diff hist +99‎ Checking CSP Assertions ‎ →‎Debugging Non-satisfied Assertions
• 08:3808:38, 7 September 2015 diff hist +3‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
• 08:3708:37, 7 September 2015 diff hist +59‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
• 08:2908:29, 7 September 2015 diff hist +18‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
• 08:2608:26, 7 September 2015 diff hist +18‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
• 08:2408:24, 7 September 2015 diff hist +226‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
• 07:4507:45, 7 September 2015 diff hist +54‎ Checking CSP Assertions ‎ →‎Supported CSP Assertions in ProB

4 September 2015

• 11:5911:59, 4 September 2015 diff hist 0‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
• 11:5611:56, 4 September 2015 diff hist +157‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
• 11:4911:49, 4 September 2015 diff hist +4‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
• 11:4811:48, 4 September 2015 diff hist +10‎ Checking CSP Assertions ‎ →‎Supported CSP Assertions in ProB
• 09:4609:46, 4 September 2015 diff hist +934‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
• 09:2709:27, 4 September 2015 diff hist 0‎ N File:PGEEvaluationTable.png ‎No edit summary current