User contributions for Ivaylo Dobrikov

23 September 2016

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

6 June 2016

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

4 May 2016

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

11 March 2016

• 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

23 February 2016

• 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

22 February 2016

• 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

16 February 2016

• 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

15 February 2016

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

12 February 2016

• 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

11 February 2016

• 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