Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Ivaylo Dobrikov

For Ivaylo Dobrikov talk block log uploads logs

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

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