User contributions for Ivaylo Dobrikov

30 August 2015

• 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

28 July 2015

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

23 July 2015

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

21 July 2015

• 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

30 April 2015

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

25 March 2015

• 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 March 2015

• 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

16 March 2015

• 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

10 March 2015

• 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

28 January 2015

• 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

13 January 2015

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

12 January 2015

• 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