User contributions for Jens Bendisposto

18 January 2010

• 14:5314:53, 18 January 2010 diff hist +4 LTL Model Checking →Supported Syntax
• 14:5214:52, 18 January 2010 diff hist −51 LTL Model Checking →Supported Syntax
• 14:4514:45, 18 January 2010 diff hist −12 LTL Model Checking →Search results
• 14:4414:44, 18 January 2010 diff hist −17 LTL Model Checking →Search options
• 14:4114:41, 18 January 2010 diff hist +9 LTL Model Checking No edit summary
• 14:4114:41, 18 January 2010 diff hist 0 N File:Ltldialog.png No edit summary current
• 14:4014:40, 18 January 2010 diff hist +44 LTL Model Checking No edit summary
• 14:3614:36, 18 January 2010 diff hist +5,719 LTL Model Checking No edit summary
• 14:3514:35, 18 January 2010 diff hist +24 N LTL Model Checking Created page with 'Category:User Manual'
• 14:3414:34, 18 January 2010 diff hist +25 Template:User Manual Index No edit summary
• 14:3414:34, 18 January 2010 diff hist −3 Template:User Manual Index No edit summary
• 14:3314:33, 18 January 2010 diff hist +34 N Temporal Model Checking moved Temporal Model Checking to Consistency Checking current
• 14:3314:33, 18 January 2010 diff hist 0 m Consistency Checking moved Temporal Model Checking to Consistency Checking
• 14:3314:33, 18 January 2010 diff hist +13 Refinement Checking No edit summary
• 14:3214:32, 18 January 2010 diff hist +6 Refinement Checking No edit summary
• 14:3214:32, 18 January 2010 diff hist −12 Refinement Checking No edit summary
• 14:3114:31, 18 January 2010 diff hist +36 N Template:Expand moved Template:Expand to Template:Quality issue current
• 14:2814:28, 18 January 2010 diff hist +2 Refinement Checking No edit summary
• 14:2714:27, 18 January 2010 diff hist 0 N File:Quality.png No edit summary current
• 14:2514:25, 18 January 2010 diff hist −1 Refinement Checking No edit summary
• 14:2114:21, 18 January 2010 diff hist +11 Refinement Checking No edit summary
• 14:2014:20, 18 January 2010 diff hist +38 Refinement Checking No edit summary
• 14:2014:20, 18 January 2010 diff hist −35 Refinement Checking →How does it work?
• 14:1914:19, 18 January 2010 diff hist +1,075 N Refinement Checking Created page with 'ProB can be used for refinement checking of B, Z and CSP specifications. Below we first discuss refinement checking for B machines. =What kind of refinement is checked?= ProB ch…'
• 14:1814:18, 18 January 2010 diff hist +26 Template:User Manual Index No edit summary
• 14:1714:17, 18 January 2010 diff hist +12 Constraint Based Checking No edit summary
• 14:1714:17, 18 January 2010 diff hist +2,819 Constraint Based Checking No edit summary
• 14:1314:13, 18 January 2010 diff hist +24 N Constraint Based Checking Created page with 'Category:User Manual'
• 14:1314:13, 18 January 2010 diff hist +32 Template:User Manual Index No edit summary
• 14:1214:12, 18 January 2010 diff hist +3 State Space Visualization →Other Visualisation Commands
• 14:1114:11, 18 January 2010 diff hist +12 Consistency Checking →Preferences of the Model Checking
• 14:1014:10, 18 January 2010 diff hist −313 Consistency Checking →References
• 14:1014:10, 18 January 2010 diff hist +307 Consistency Checking →Preferences of the Model Checking
• 14:0914:09, 18 January 2010 diff hist −14 Consistency Checking →Preferences of the Model Checking
• 14:0814:08, 18 January 2010 diff hist +37 Consistency Checking →Preferences of the Model Checking
• 14:0714:07, 18 January 2010 diff hist −7 Animation →Preferences of the Animation current
• 14:0614:06, 18 January 2010 diff hist +25 Animation No edit summary
• 14:0514:05, 18 January 2010 diff hist +18 Consistency Checking →Incremental Model Checking
• 14:0514:05, 18 January 2010 diff hist +11,410 Consistency Checking No edit summary
• 14:0214:02, 18 January 2010 diff hist +10 Graphical Visualization No edit summary
• 14:0214:02, 18 January 2010 diff hist +8 Using ProB with Atelier B No edit summary
• 14:0114:01, 18 January 2010 diff hist −10 Installation No edit summary
• 14:0114:01, 18 January 2010 diff hist +9 Installation No edit summary
• 14:0114:01, 18 January 2010 diff hist +34 N Consistency Checking Created page with 'Category:User Manual __NOTOC__'
• 14:0014:00, 18 January 2010 diff hist +30 Template:User Manual Index No edit summary
• 13:5913:59, 18 January 2010 diff hist −11 State Space Visualization No edit summary
• 13:5513:55, 18 January 2010 diff hist +24 State Space Visualization →Other Visualisation Commands
• 13:5513:55, 18 January 2010 diff hist +1 State Space Visualization →Other Visualisation Commands
• 13:5413:54, 18 January 2010 diff hist −2 State Space Visualization →Other Visualisation Commands
• 13:5413:54, 18 January 2010 diff hist −16 State Space Visualization No edit summary