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
09:2109:21, 4 September 2015 diff hist +516‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
08:4508:45, 4 September 2015 diff hist 0‎ File:StateSpaceBreadthFirst.png ‎ uploaded a new version of "File:StateSpaceBreadthFirst.png" current
08:4508:45, 4 September 2015 diff hist 0‎ File:StateSpaceDepthFirst.png ‎ uploaded a new version of "File:StateSpaceDepthFirst.png" current
08:4208:42, 4 September 2015 diff hist 0‎ File:StateSpaceDepthFirst.png ‎ uploaded a new version of "File:StateSpaceDepthFirst.png"
08:4008:40, 4 September 2015 diff hist 0‎ N File:StateSpaceBreadthFirst.png ‎No edit summary
08:4008:40, 4 September 2015 diff hist 0‎ N File:StateSpaceDepthFirst.png ‎No edit summary
08:3808:38, 4 September 2015 diff hist +2,738‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation

12:5512:55, 3 September 2015 diff hist +4‎ LTL Model Checking ‎ →‎Supported Syntax
12:5012:50, 3 September 2015 diff hist +35‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
12:4012:40, 3 September 2015 diff hist +1,092‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
12:0212:02, 3 September 2015 diff hist +472‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
10:4110:41, 3 September 2015 diff hist +3‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
10:4010:40, 3 September 2015 diff hist +2,275‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
09:3609:36, 3 September 2015 diff hist 0‎ N File:StateSpacePGE.png ‎No edit summary current

10:2810:28, 2 September 2015 diff hist −4‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
09:1809:18, 2 September 2015 diff hist +7‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
09:1609:16, 2 September 2015 diff hist +37‎ Checking CSP Assertions ‎ →‎Supported CSP Assertions in ProB

15:3115:31, 1 September 2015 diff hist +26‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
14:5214:52, 1 September 2015 diff hist −2‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
14:4214:42, 1 September 2015 diff hist 0‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
14:3814:38, 1 September 2015 diff hist +58‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
14:3014:30, 1 September 2015 diff hist +1,879‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
13:2113:21, 1 September 2015 diff hist +18‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
13:2013:20, 1 September 2015 diff hist +44‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
12:0012:00, 1 September 2015 diff hist +913‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
11:5811:58, 1 September 2015 diff hist −6‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
09:4909:49, 1 September 2015 diff hist +2,003‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
09:0709:07, 1 September 2015 diff hist −8‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
09:0609:06, 1 September 2015 diff hist +13‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
09:0309:03, 1 September 2015 diff hist +399‎ Tutorial Various Optimizations ‎ →‎Partial Order Reduction
08:4108:41, 1 September 2015 diff hist +1,474‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
08:4008:40, 1 September 2015 diff hist 0‎ N File:RelationFigureExplanation.png ‎No edit summary current
08:3908:39, 1 September 2015 diff hist 0‎ N File:KeepRelation.png ‎No edit summary current
08:3808:38, 1 September 2015 diff hist 0‎ N File:GuaranteedRelation.png ‎No edit summary
08:3808:38, 1 September 2015 diff hist 0‎ N File:ImpossibleRelation.png ‎No edit summary current
07:1907:19, 1 September 2015 diff hist 0‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
07:1507:15, 1 September 2015 diff hist −13‎ Tutorial Various Optimizations ‎No edit summary
07:1407:14, 1 September 2015 diff hist −32‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation

14:5114:51, 31 August 2015 diff hist +1‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
14:3414:34, 31 August 2015 diff hist +4‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
14:3314:33, 31 August 2015 diff hist 0‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
14:3214:32, 31 August 2015 diff hist +1‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
14:3214:32, 31 August 2015 diff hist −3‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
14:2714:27, 31 August 2015 diff hist +1,611‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
13:0213:02, 31 August 2015 diff hist +750‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
12:2412:24, 31 August 2015 diff hist +370‎ Tutorial Various Optimizations ‎ →‎Partial Order Reduction
10:1610:16, 31 August 2015 diff hist +700‎ Checking CSP Assertions ‎ →‎References and Notes
07:5107:51, 31 August 2015 diff hist +124‎ Checking CSP Assertions ‎ →‎Debugging Non-satisfied Assertions
07:4107:41, 31 August 2015 diff hist +72‎ Checking CSP Assertions ‎ →‎Supported CSP Assertions in ProB

10:1310:13, 30 August 2015 diff hist +81‎ Tutorial CSP First Step ‎ →‎Other Features
10:0910:09, 30 August 2015 diff hist +4‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
10:0810:08, 30 August 2015 diff hist +5‎ Checking CSP Assertions ‎ →‎Supported CSP Assertions in ProB
10:0710:07, 30 August 2015 diff hist −1‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
10:0310:03, 30 August 2015 diff hist +2,572‎ Checking CSP Assertions ‎ →‎Debugging Non-satisfied Assertions
10:0310:03, 30 August 2015 diff hist 0‎ File:CE LTL assertion.png ‎ uploaded a new version of "File:CE LTL assertion.png" current
10:0110:01, 30 August 2015 diff hist 0‎ N File:CE LTL assertion.png ‎No edit summary
09:5809:58, 30 August 2015 diff hist 0‎ File:CSP Failures Debugger.png ‎ uploaded a new version of "File:CSP Failures Debugger.png" current
09:5709:57, 30 August 2015 diff hist 0‎ N File:CSP Failures Debugger.png ‎No edit summary
09:5509:55, 30 August 2015 diff hist 0‎ File:CSP Deadlock Trace.png ‎ uploaded a new version of "File:CSP Deadlock Trace.png" current
09:5209:52, 30 August 2015 diff hist 0‎ N File:CSP Trace Debugger.png ‎No edit summary current
09:4909:49, 30 August 2015 diff hist 0‎ File:CSP Deadlock Trace.png ‎ uploaded a new version of "File:CSP Deadlock Trace.png"
09:4709:47, 30 August 2015 diff hist 0‎ N File:CSP Deadlock Trace.png ‎No edit summary
09:4309:43, 30 August 2015 diff hist +1,682‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
09:4109:41, 30 August 2015 diff hist +12,940‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
09:3409:34, 30 August 2015 diff hist 0‎ File:CSPAssertionsViewer ctxmenu.png ‎ uploaded a new version of "File:CSPAssertionsViewer ctxmenu.png" current
09:3309:33, 30 August 2015 diff hist 0‎ File:CSPAssertionsViewer ctxmenu.png ‎ uploaded a new version of "File:CSPAssertionsViewer ctxmenu.png"
09:2909:29, 30 August 2015 diff hist 0‎ N File:CSPAssertionsViewer ctxmenu.png ‎No edit summary
09:1709:17, 30 August 2015 diff hist +34‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
09:1609:16, 30 August 2015 diff hist 0‎ N File:CSPAssertionsViewer.png ‎No edit summary current
09:1409:14, 30 August 2015 diff hist +30‎ Template:User Manual Index ‎No edit summary
09:1209:12, 30 August 2015 diff hist −463‎ Checking CSP Assertions ‎No edit summary
09:1109:11, 30 August 2015 diff hist +5,668‎ Checking CSP Assertions ‎ →‎Supported CSP Assertions in ProB
08:5608:56, 30 August 2015 diff hist +950‎ N Checking CSP Assertions ‎ Created page with 'As of version 1.3.4, ProB provides support for refinement checking and various other assertions (deadlock, divergence, determinism, and LTL/CTL assertions) of CSP-M specification…'
08:2708:27, 30 August 2015 diff hist −8‎ Tutorial LTL Counter-example View ‎ →‎Use Case for the LTL Counter-example Viewer current
08:2108:21, 30 August 2015 diff hist −1‎ Tutorial LTL Counter-example View ‎ →‎Visualization of Counter-examples in Rodin
08:2008:20, 30 August 2015 diff hist +2‎ Tutorial LTL Counter-example View ‎ →‎Visualization of Counter-examples in Rodin

13:1913:19, 28 July 2015 diff hist −1‎ Tutorial CSP First Step ‎No edit summary

09:4609:46, 23 July 2015 diff hist +354‎ LTL Model Checking ‎ →‎Storing LTL Assertions in the Model

12:0912:09, 21 July 2015 diff hist 0‎ LTL Model Checking ‎No edit summary
11:5611:56, 21 July 2015 diff hist −1‎ CSP-M Syntax ‎ →‎PRAGMAS current
11:5611:56, 21 July 2015 diff hist +252‎ CSP-M Syntax ‎ →‎PRAGMAS

12:3212:32, 30 April 2015 diff hist +377‎ LTL Model Checking ‎ →‎Setting Fairness Constraints

22:1722:17, 25 March 2015 diff hist +23‎ LTL Model Checking ‎ →‎Supported Syntax
18:4318:43, 25 March 2015 diff hist +311‎ LTL Model Checking ‎ →‎Setting Fairness Constraints
18:3818:38, 25 March 2015 diff hist +108‎ LTL Model Checking ‎ →‎Supported Syntax

17:1417:14, 17 March 2015 diff hist +50‎ Tutorial Various Optimizations ‎ →‎Partial Order Reduction
17:0517:05, 17 March 2015 diff hist +241‎ Tutorial Various Optimizations ‎ →‎Partial Order Reduction
16:5316:53, 17 March 2015 diff hist 0‎ Tutorial Various Optimizations ‎ →‎Partial Order Reduction
16:1916:19, 17 March 2015 diff hist −2‎ Tutorial Various Optimizations ‎ →‎Partial Order Reduction
16:1416:14, 17 March 2015 diff hist +33‎ Tutorial Various Optimizations ‎No edit summary
16:1216:12, 17 March 2015 diff hist +207‎ Tutorial Various Optimizations ‎ →‎Partial Order Reduction

17:3117:31, 16 March 2015 diff hist +31‎ Tutorial ‎No edit summary
17:2917:29, 16 March 2015 diff hist +44‎ N Tutorial Model Checking with Various Optimizations ‎ moved Tutorial Model Checking with Various Optimizations to Tutorial Various Optimizations: Link to homepage to long. current
17:2917:29, 16 March 2015 diff hist 0‎ m Tutorial Various Optimizations ‎ moved Tutorial Model Checking with Various Optimizations to Tutorial Various Optimizations: Link to homepage to long.
17:1717:17, 16 March 2015 diff hist +57‎ Tutorial ‎No edit summary
17:1717:17, 16 March 2015 diff hist +9,665‎ N Tutorial Various Optimizations ‎ Created page with '{{Revision}} The ordinary model checker of ProB enables the user to verify automatically whether a B model contains any errors such as deadlocks and invariant violations. The sea…'
17:0717:07, 16 March 2015 diff hist 0‎ N File:Dependency table.png ‎No edit summary current
17:0517:05, 16 March 2015 diff hist 0‎ N File:Independence.png ‎No edit summary current
17:0417:04, 16 March 2015 diff hist 0‎ N File:Partial state space por.png ‎No edit summary current
17:0117:01, 16 March 2015 diff hist 0‎ N File:Full state space por.png ‎No edit summary current

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

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

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

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

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

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

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

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

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

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

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