Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Ivaylo Dobrikov

For Ivaylo Dobrikov talk block log uploads logs

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

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