User contributions for Michael Leuschel

19 January 2010

• 14:5114:51, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoad3.png ‎No edit summary current
• 14:5114:51, 19 January 2010 diff hist +724‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example
• 14:4414:44, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoad2.png ‎No edit summary current
• 14:4414:44, 19 January 2010 diff hist +1,467‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 14:3114:31, 19 January 2010 diff hist 0‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 14:3114:31, 19 January 2010 diff hist +12‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 14:3014:30, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoad.png ‎No edit summary current
• 14:3014:30, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterInit.png ‎No edit summary current
• 14:3014:30, 19 January 2010 diff hist +2,373‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 14:0114:01, 19 January 2010 diff hist +451‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 13:5513:55, 19 January 2010 diff hist +81‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 13:5413:54, 19 January 2010 diff hist 0‎ N File:ProB Propagation.png ‎No edit summary current
• 13:5313:53, 19 January 2010 diff hist 0‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 13:5313:53, 19 January 2010 diff hist 0‎ N File:ProB Propagation.pdf ‎No edit summary current
• 13:5313:53, 19 January 2010 diff hist +101‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 13:5213:52, 19 January 2010 diff hist +559‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 13:4813:48, 19 January 2010 diff hist +1,274‎ N Tutorial Understanding ProB's Constraint Solver ‎ Created page with 'Category:Tutorial We assume that you grasped the way that ProB setups up the initial states of a B machine as outlined in Tutorial Setup Phases, and have understood why…'
• 13:3713:37, 19 January 2010 diff hist +54‎ Tutorial ‎No edit summary
• 13:3613:36, 19 January 2010 diff hist +220‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 13:3413:34, 19 January 2010 diff hist +33‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 13:1713:17, 19 January 2010 diff hist +402‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 13:1413:14, 19 January 2010 diff hist +35‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 13:1213:12, 19 January 2010 diff hist +152‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 13:0713:07, 19 January 2010 diff hist +28‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 12:5712:57, 19 January 2010 diff hist +461‎ Tutorial Understanding the Complexity of B Animation ‎No edit summary
• 10:5210:52, 19 January 2010 diff hist +21‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 10:5110:51, 19 January 2010 diff hist +50‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 10:5010:50, 19 January 2010 diff hist +188‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 10:4810:48, 19 January 2010 diff hist 0‎ Tutorial Understanding the Complexity of B Animation ‎No edit summary
• 10:4710:47, 19 January 2010 diff hist +128‎ Tutorial Understanding the Complexity of B Animation ‎No edit summary
• 10:4510:45, 19 January 2010 diff hist +280‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 10:3710:37, 19 January 2010 diff hist +594‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 10:3110:31, 19 January 2010 diff hist +232‎ Tutorial Understanding the Complexity of B Animation ‎No edit summary
• 10:2710:27, 19 January 2010 diff hist +1,003‎ Tutorial Understanding the Complexity of B Animation ‎No edit summary
• 10:1910:19, 19 January 2010 diff hist 0‎ N File:ProB GoldbachAfterInit.png ‎No edit summary current
• 10:1910:19, 19 January 2010 diff hist +491‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Undecidability
• 10:1310:13, 19 January 2010 diff hist +1,268‎ N Tutorial Understanding the Complexity of B Animation ‎ Created page with 'Category:Tutorial We assume that you grasped the way that ProB setups up the initial states of a B machine as outlined in Tutorial Setup Phases. In this lesson, we exa…'
• 09:5809:58, 19 January 2010 diff hist −3‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 09:5809:58, 19 January 2010 diff hist +123‎ Tutorial ‎No edit summary
• 08:4908:49, 19 January 2010 diff hist +85‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 08:4808:48, 19 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyOperationPRE.png ‎No edit summary current
• 08:4808:48, 19 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyOperationPRE3.png ‎No edit summary current
• 08:4808:48, 19 January 2010 diff hist +1,061‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 08:3708:37, 19 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyCustom3.png ‎No edit summary current
• 08:3608:36, 19 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyCustomCommand.png ‎No edit summary current
• 08:3608:36, 19 January 2010 diff hist −57‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 08:3508:35, 19 January 2010 diff hist +978‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 08:2808:28, 19 January 2010 diff hist +18‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 08:2608:26, 19 January 2010 diff hist 0‎ N File:ProB JukeboxAfterInit3.png ‎No edit summary current
• 08:2608:26, 19 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyUnsatProp2.png ‎No edit summary current