User contributions for Ivaylo Dobrikov

17 March 2015

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

10 November 2014

• 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