Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Ivaylo Dobrikov

For Ivaylo Dobrikov talk block log uploads logs

09:2809:28, 23 September 2016 diff hist +1‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer current

10:4410:44, 6 June 2016 diff hist +11‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB

13:5313:53, 4 May 2016 diff hist +1‎ LTL Model Checking ‎ →‎LTL Model Checker Output

13:5813:58, 11 March 2016 diff hist +59‎ LTL Model Checking ‎ →‎LTL Model Checker Output
13:4813:48, 11 March 2016 diff hist +102‎ LTL Model Checking ‎ →‎LTL Model Checker Output
13:3913:39, 11 March 2016 diff hist +3‎ LTL Model Checking ‎ →‎LTL Model Checker Output
13:3813:38, 11 March 2016 diff hist +3,858‎ LTL Model Checking ‎ →‎LTL Model Checker Output
11:2911:29, 11 March 2016 diff hist +4,009‎ LTL Model Checking ‎ →‎LTL formulae in a separate file

09:3609:36, 23 February 2016 diff hist +2‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
09:3509:35, 23 February 2016 diff hist −1‎ Tutorial Enabling Analysis ‎ →‎Summary of the Enabling Relations

16:0216:02, 22 February 2016 diff hist +11‎ Tutorial CSP First Step ‎ →‎Other Features current
15:5915:59, 22 February 2016 diff hist +238‎ Checking CSP Assertions ‎ →‎Checking CSP Assertions with `probcli`
15:5315:53, 22 February 2016 diff hist +24‎ The ProB Animator and Model Checker ‎ →‎Features
13:2813:28, 22 February 2016 diff hist −8‎ Checking CSP Assertions ‎ →‎Debugging Non-satisfied Assertions
12:5612:56, 22 February 2016 diff hist +702‎ Tutorial Enabling Analysis ‎ →‎Enabling Relations
12:4812:48, 22 February 2016 diff hist 0‎ N File:EnableGraph Example.png ‎No edit summary current

14:5114:51, 16 February 2016 diff hist +1‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
14:5114:51, 16 February 2016 diff hist −1‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
14:5014:50, 16 February 2016 diff hist −2‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
14:5014:50, 16 February 2016 diff hist 0‎ File:EnablingAnalysisMenu.png ‎ Ivaylo Dobrikov uploaded a new version of File:EnablingAnalysisMenu.png current
14:4914:49, 16 February 2016 diff hist 0‎ File:EnablingAnalysisMenu.png ‎ Ivaylo Dobrikov uploaded a new version of File:EnablingAnalysisMenu.png
14:4414:44, 16 February 2016 diff hist 0‎ N File:EnablingAnalysisMenu.png ‎No edit summary
14:4414:44, 16 February 2016 diff hist +37‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
09:4409:44, 16 February 2016 diff hist −24‎ Tutorial Enabling Analysis ‎ →‎Enabling Relations

17:1217:12, 15 February 2016 diff hist −29‎ Tutorial Enabling Analysis ‎ →‎Enabling Relations

15:5915:59, 12 February 2016 diff hist +33‎ Tutorial Enabling Analysis ‎ →‎Summary of the Enabling Relations
15:5515:55, 12 February 2016 diff hist +2‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
13:3813:38, 12 February 2016 diff hist +1,857‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB

18:4718:47, 11 February 2016 diff hist −8‎ Tutorial Enabling Analysis ‎ →‎Enabling Relations
16:0716:07, 11 February 2016 diff hist +1‎ Tutorial Enabling Analysis ‎No edit summary
15:5915:59, 11 February 2016 diff hist +15‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
15:5815:58, 11 February 2016 diff hist +262‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
15:4815:48, 11 February 2016 diff hist +1,543‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
15:3615:36, 11 February 2016 diff hist +2‎ Tutorial Enabling Analysis ‎ →‎Computing Enabling Relations with ProB
15:3615:36, 11 February 2016 diff hist +1,863‎ Tutorial Enabling Analysis ‎No edit summary
14:5514:55, 11 February 2016 diff hist −1,682‎ Tutorial Enabling Analysis ‎No edit summary
14:5414:54, 11 February 2016 diff hist 0‎ N File:EnablingResults.png ‎No edit summary current
14:4014:40, 11 February 2016 diff hist 0‎ N File:ImpossibleDisableExample.png ‎No edit summary current
14:3814:38, 11 February 2016 diff hist 0‎ N File:ToggleExample.png ‎No edit summary current
14:3814:38, 11 February 2016 diff hist 0‎ N File:SyntacticUnchangedExample.png ‎No edit summary current
14:3814:38, 11 February 2016 diff hist 0‎ N File:SyntacticIndependentExample.png ‎No edit summary current
14:3814:38, 11 February 2016 diff hist 0‎ N File:SyntacticFullyIndependentExample.png ‎No edit summary current
14:3714:37, 11 February 2016 diff hist 0‎ N File:PossibleExample.png ‎No edit summary current
14:3714:37, 11 February 2016 diff hist 0‎ N File:PossibleEnableExample.png ‎No edit summary current
14:3614:36, 11 February 2016 diff hist 0‎ N File:PossibleDisableExample.png ‎No edit summary current
14:3614:36, 11 February 2016 diff hist 0‎ N File:KeepExample.png ‎No edit summary current
14:3614:36, 11 February 2016 diff hist 0‎ N File:InfeasibleExample.png ‎No edit summary current
14:3514:35, 11 February 2016 diff hist 0‎ N File:ImpossibleKeepExample.png ‎No edit summary current
14:3514:35, 11 February 2016 diff hist 0‎ N File:ImpossibleExample.png ‎No edit summary current
14:3414:34, 11 February 2016 diff hist 0‎ N File:GuaranteedKeepExample.png ‎No edit summary current
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

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

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

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

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

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

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

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

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Ivaylo_Dobrikov"