User contributions for Ivaylo Dobrikov

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
• 15:2315:23, 12 January 2015 diff hist +4‎ Tutorial ‎No edit summary

5 January 2015

• 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

3 December 2014

• 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

20 November 2014

• 16:0016:00, 20 November 2014 diff hist +14‎ LTL Model Checking ‎ →‎LTL formulas in a separate file