User contributions for Ivaylo Dobrikov

7 September 2015

• 08:2908:29, 7 September 2015 diff hist +18‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
• 08:2608:26, 7 September 2015 diff hist +18‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
• 08:2408:24, 7 September 2015 diff hist +226‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
• 07:4507:45, 7 September 2015 diff hist +54‎ Checking CSP Assertions ‎ →‎Supported CSP Assertions in ProB

4 September 2015

• 11:5911:59, 4 September 2015 diff hist 0‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
• 11:5611:56, 4 September 2015 diff hist +157‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
• 11:4911:49, 4 September 2015 diff hist +4‎ Checking CSP Assertions ‎ →‎CSP Assertions Viewer
• 11:4811:48, 4 September 2015 diff hist +10‎ Checking CSP Assertions ‎ →‎Supported CSP Assertions in ProB
• 09:4609:46, 4 September 2015 diff hist +934‎ Tutorial Various Optimizations ‎ →‎Partial Guard Evaluation
• 09:2709:27, 4 September 2015 diff hist 0‎ N File:PGEEvaluationTable.png ‎No edit summary current
• 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

3 September 2015

• 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

2 September 2015

• 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

1 September 2015

• 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

31 August 2015

• 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