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
• 08:2608:26, 19 January 2010 diff hist 0‎ File:ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png ‎ uploaded a new version of "File:ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png" current
• 08:2508:25, 19 January 2010 diff hist 0‎ N File:ProB Jukebox DebugUnsatProp2.png ‎No edit summary current
• 08:2508:25, 19 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png ‎No edit summary
• 08:2408:24, 19 January 2010 diff hist +1,638‎ Tutorial Troubleshooting the Setup ‎No edit summary

18 January 2010

• 16:5516:55, 18 January 2010 diff hist +87‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 16:5416:54, 18 January 2010 diff hist 0‎ N File:ProB JukeboxAfterLoad2.png ‎No edit summary current
• 16:5416:54, 18 January 2010 diff hist +590‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 16:4716:47, 18 January 2010 diff hist −28‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 16:4716:47, 18 January 2010 diff hist 0‎ N File:ProB Jukebox UnsatProp.png ‎No edit summary current
• 16:4616:46, 18 January 2010 diff hist 0‎ N File:ProB Jukebox DebugUnsatProp.png ‎No edit summary current
• 16:4616:46, 18 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyCommand.png ‎No edit summary current
• 16:4616:46, 18 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyUnsatProp.png ‎No edit summary current
• 16:4616:46, 18 January 2010 diff hist +983‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 16:3816:38, 18 January 2010 diff hist +689‎ N Tutorial Troubleshooting the Setup ‎ Created page with 'Category:User Manual 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 …'
• 16:3616:36, 18 January 2010 diff hist +41‎ Tutorial ‎No edit summary
• 16:3116:31, 18 January 2010 diff hist +23‎ Tutorial Setup Phases ‎ →‎3. INITIALISATION
• 16:3016:30, 18 January 2010 diff hist +31‎ Tutorial Setup Phases ‎ →‎1. Loading
• 16:2916:29, 18 January 2010 diff hist +266‎ Tutorial Setup Phases ‎No edit summary
• 16:2616:26, 18 January 2010 diff hist 0‎ N File:ProB Jukebox Statespace.png ‎No edit summary current
• 16:2616:26, 18 January 2010 diff hist 0‎ N File:ProB JukeboxReopenCommand.png ‎No edit summary current
• 16:2616:26, 18 January 2010 diff hist 0‎ N File:ProB Jukebox StatespaceFull.png ‎No edit summary current
• 16:2516:25, 18 January 2010 diff hist +944‎ Tutorial Setup Phases ‎No edit summary
• 16:1616:16, 18 January 2010 diff hist +530‎ Tutorial Setup Phases ‎ →‎3. INITIALISATION
• 16:1316:13, 18 January 2010 diff hist +491‎ Tutorial Setup Phases ‎ →‎2. SETUP_CONSTANTS
• 16:0916:09, 18 January 2010 diff hist 0‎ N File:ProB JukeboxAfterINITIALISATION.png ‎No edit summary current
• 16:0916:09, 18 January 2010 diff hist 0‎ N File:ProB JukeboxAfterSETUPCONSTANTS.png ‎No edit summary current
• 16:0916:09, 18 January 2010 diff hist +122‎ Tutorial Setup Phases ‎No edit summary
• 16:0416:04, 18 January 2010 diff hist +130‎ Tutorial Setup Phases ‎No edit summary
• 16:0316:03, 18 January 2010 diff hist +1,638‎ Tutorial Setup Phases ‎No edit summary
• 15:5315:53, 18 January 2010 diff hist 0‎ N File:ProB AnimationPhases.png ‎No edit summary current
• 15:5215:52, 18 January 2010 diff hist 0‎ N File:ProB JukeboxAfterLoad.png ‎No edit summary current
• 15:5215:52, 18 January 2010 diff hist +986‎ N Tutorial Setup Phases ‎ Created page with 'Category:User Manual We assume that you grasped the first steps of opening and animating a B machine as outlined in [[Tutorial First Steps]. In this lesson, we examine mor…'
• 15:4415:44, 18 January 2010 diff hist +64‎ Tutorial ‎No edit summary
• 15:1415:14, 18 January 2010 diff hist +120‎ Tutorial First Model Checking ‎ →‎View Statespace
• 15:1315:13, 18 January 2010 diff hist +32‎ Template:User Manual Index ‎No edit summary
• 15:1015:10, 18 January 2010 diff hist +410‎ Tutorial ‎No edit summary
• 15:0515:05, 18 January 2010 diff hist +1‎ Tutorial First Model Checking ‎ →‎View Statespace
• 15:0415:04, 18 January 2010 diff hist +126‎ Tutorial First Model Checking ‎ →‎Simple Model Checking
• 15:0315:03, 18 January 2010 diff hist 0‎ N File:ProB GraphicalViewerPreferences Shapes.png ‎No edit summary current
• 15:0315:03, 18 January 2010 diff hist +60‎ Tutorial First Model Checking ‎No edit summary
• 15:0215:02, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterModelCheck Statespace.png ‎No edit summary current
• 15:0215:02, 18 January 2010 diff hist +784‎ Tutorial First Model Checking ‎No edit summary
• 14:5614:56, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterModelCheck Coverage.png ‎No edit summary current
• 14:5614:56, 18 January 2010 diff hist +1,701‎ Tutorial First Model Checking ‎No edit summary
• 14:3714:37, 18 January 2010 diff hist 0‎ N File:ProBWinModelCheckCommand.png ‎No edit summary current
• 14:3714:37, 18 January 2010 diff hist 0‎ N File:ProBWinModelCheckDialog.png ‎No edit summary current
• 14:3714:37, 18 January 2010 diff hist 0‎ N File:ProBWinModelCheckCounterExampleFound.png ‎No edit summary current
• 14:3714:37, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterModelCheck.png ‎No edit summary current
• 14:3714:37, 18 January 2010 diff hist +901‎ N Tutorial First Model Checking ‎ Created page with 'Category:User Manual We assume that you have loaded the "Lift.mch" B machine from the ProB Examples folder, as outlined in [[Tutorial First Steps]. There we have also seen …'
• 14:3114:31, 18 January 2010 diff hist +106‎ Tutorial ‎No edit summary