User contributions for Michael Leuschel

19 January 2010

• 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