Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

For Michael Leuschel talk block log uploads logs

16:4716:47, 3 October 2010 diff hist +49‎ User Manual ‎No edit summary

15:2415:24, 8 August 2010 diff hist −5‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB

14:3914:39, 30 July 2010 diff hist +30‎ Download ‎ →‎Latest Release
14:3814:38, 30 July 2010 diff hist 0‎ Download ‎ →‎Latest Release
14:3314:33, 30 July 2010 diff hist +184‎ The ProB Animator and Model Checker ‎No edit summary
14:2914:29, 30 July 2010 diff hist +2‎ Download ‎ →‎Latest Release
14:2414:24, 30 July 2010 diff hist 0‎ Download ‎ →‎Latest Release
14:1014:10, 30 July 2010 diff hist −14‎ Download ‎ →‎Latest Release
13:1813:18, 30 July 2010 diff hist 0‎ Download ‎ →‎Latest Release

05:3105:31, 29 July 2010 diff hist +378‎ Tutorial Rodin Parameters ‎ →‎Size of unspecified sets
05:2005:20, 29 July 2010 diff hist −7‎ Tutorial Rodin Parameters ‎ →‎Preferences
05:2005:20, 29 July 2010 diff hist 0‎ N File:RodinPrefs.png ‎No edit summary
05:2005:20, 29 July 2010 diff hist +358‎ Tutorial Rodin Parameters ‎No edit summary

11:2011:20, 28 July 2010 diff hist −1‎ Tutorial Rodin Parameters ‎ →‎Size of unspecified sets
11:2011:20, 28 July 2010 diff hist 0‎ N File:ProBRodinPrefs.png ‎No edit summary
11:1911:19, 28 July 2010 diff hist +1,417‎ N Tutorial Rodin Parameters ‎ Created page with 'Category:User Manual == Preferences == You can modify the ProB preferences by selecting the ProB pane inside the Rodin preferences. We explain the most important preferenc…'
11:0111:01, 28 July 2010 diff hist +72‎ Tutorial ‎No edit summary

08:0108:01, 27 July 2010 diff hist +113‎ Tutorial ‎No edit summary
07:5507:55, 27 July 2010 diff hist +28‎ Tutorial Rodin First Step ‎No edit summary
07:5407:54, 27 July 2010 diff hist 0‎ N File:ProBRodinAfterOpChoose.png ‎No edit summary
07:5407:54, 27 July 2010 diff hist +41‎ Tutorial Rodin First Step ‎No edit summary
07:5207:52, 27 July 2010 diff hist 0‎ N File:ProBRodinOpChoose.png ‎No edit summary
07:5207:52, 27 July 2010 diff hist 0‎ N File:ProBRodinInit.png ‎No edit summary
07:5107:51, 27 July 2010 diff hist 0‎ N File:ProBRodinStart.png ‎No edit summary
07:5107:51, 27 July 2010 diff hist +1,135‎ N Tutorial Rodin First Step ‎ Created page with 'Category:User Manual == Installation == Start off by installing the ProB Plugin for Rodin by choosing "Install new software...". == Starting ProB == Start by right click…'
07:4507:45, 27 July 2010 diff hist +150‎ Tutorial ‎No edit summary

20:1320:13, 26 July 2010 diff hist +9‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
20:1120:11, 26 July 2010 diff hist +22‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Undecidability

13:4013:40, 8 July 2010 diff hist +40‎ The ProB Animator and Model Checker ‎No edit summary
13:3913:39, 8 July 2010 diff hist +6‎ The ProB Animator and Model Checker ‎No edit summary
13:3913:39, 8 July 2010 diff hist −6‎ The ProB Animator and Model Checker ‎No edit summary

13:1013:10, 1 July 2010 diff hist 0‎ Download ‎ →‎Latest Release

11:1511:15, 15 June 2010 diff hist +950‎ N ProBLicence ‎ Created page with 'Category:User Manual == ProB Licence == (C) 2000-2010 Michael Leuschel (and many others; see below) All rights reserved. ProB can now be used freely for commercial, non-co…'
11:1311:13, 15 June 2010 diff hist +53‎ The ProB Animator and Model Checker ‎No edit summary

14:1214:12, 10 June 2010 diff hist 0‎ Download ‎ →‎Latest Release

09:5809:58, 2 June 2010 diff hist −1‎ Tutorial Setup Phases ‎ →‎1. Loading
09:5709:57, 2 June 2010 diff hist +1‎ Tutorial Setup Phases ‎ →‎1. Loading

11:3811:38, 12 April 2010 diff hist +130‎ Why Prolog? ‎ →‎A small benchmark
11:3611:36, 12 April 2010 diff hist +107‎ Why Prolog? ‎ →‎Why SICStus Prolog
11:2611:26, 12 April 2010 diff hist +139‎ Why Prolog? ‎ →‎Why Prolog
09:1809:18, 12 April 2010 diff hist 0‎ Why Prolog? ‎ →‎Why Prolog

09:2309:23, 1 April 2010 diff hist +118‎ Download ‎ →‎Latest Release
07:5407:54, 1 April 2010 diff hist 0‎ Download ‎ →‎Latest Release

15:0515:05, 30 March 2010 diff hist 0‎ Download ‎ →‎Latest Release

12:0912:09, 24 March 2010 diff hist +126‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
12:0412:04, 24 March 2010 diff hist +245‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
11:5611:56, 24 March 2010 diff hist +17‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Undecidability

09:0009:00, 22 March 2010 diff hist 0‎ Download ‎ →‎Latest Release

16:4016:40, 18 March 2010 diff hist 0‎ Download ‎ →‎Latest Release

16:0216:02, 16 March 2010 diff hist 0‎ Download ‎ →‎Latest Release
15:3215:32, 16 March 2010 diff hist +15‎ Download ‎ →‎Latest Release
15:3115:31, 16 March 2010 diff hist 0‎ Download ‎ →‎Latest Release
15:2915:29, 16 March 2010 diff hist 0‎ Download ‎ →‎Latest Release

17:3317:33, 12 March 2010 diff hist +75‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB

15:1315:13, 3 March 2010 diff hist 0‎ Download ‎ →‎Latest Release
14:5714:57, 3 March 2010 diff hist −3‎ Download ‎ →‎Latest Release

15:3615:36, 25 February 2010 diff hist +149‎ Other languages ‎No edit summary
15:3315:33, 25 February 2010 diff hist −11‎ Other languages ‎No edit summary

12:3212:32, 19 February 2010 diff hist +6‎ Download ‎ →‎Latest Release
12:3212:32, 19 February 2010 diff hist 0‎ Download ‎ →‎Latest Release
12:3212:32, 19 February 2010 diff hist +89‎ Download ‎ →‎Latest Release
10:0810:08, 19 February 2010 diff hist +2‎ Download ‎ →‎Latest Release
10:0810:08, 19 February 2010 diff hist 0‎ Download ‎ →‎Latest Release
09:1209:12, 19 February 2010 diff hist +11‎ Download ‎ →‎Latest Release
09:1109:11, 19 February 2010 diff hist 0‎ Download ‎ →‎Latest Release

18:3318:33, 11 February 2010 diff hist 0‎ Links ‎No edit summary
18:3318:33, 11 February 2010 diff hist +13‎ Links ‎ →‎Miscellaneous
18:3218:32, 11 February 2010 diff hist +1,544‎ N Links ‎ Created page with '== Books == * [http://www.jpbowen.com/publications/thes-b.html The B-Book: Assigning programs to meanings, by Jean-Raymond Abrial] (link is to a review by Jonathan Bowen) * [http…'
12:2912:29, 11 February 2010 diff hist +51‎ Download ‎ →‎Latest Release
12:2912:29, 11 February 2010 diff hist +51‎ Download ‎ →‎Latest Release
12:2712:27, 11 February 2010 diff hist +1‎ Download ‎ →‎Latest Release
12:2712:27, 11 February 2010 diff hist +505‎ Download ‎ →‎Latest Release
10:4710:47, 11 February 2010 diff hist +1‎ Download ‎ →‎Latest Release
10:4110:41, 11 February 2010 diff hist +643‎ Download ‎ →‎Latest Release
10:3210:32, 11 February 2010 diff hist −2‎ Download ‎ →‎Latest Release
10:3210:32, 11 February 2010 diff hist +3‎ Download ‎No edit summary
10:0210:02, 11 February 2010 diff hist +225‎ The ProB Animator and Model Checker ‎No edit summary

15:0415:04, 22 January 2010 diff hist +172‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example

09:3009:30, 20 January 2010 diff hist +334‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Adding universally quantified formulas

16:1816:18, 19 January 2010 diff hist −1‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
16:1816:18, 19 January 2010 diff hist −1‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
16:1816:18, 19 January 2010 diff hist −28‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
16:1716:17, 19 January 2010 diff hist +55‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
16:1516:15, 19 January 2010 diff hist +404‎ Using the Command-Line Version of ProB ‎No edit summary
16:0916:09, 19 January 2010 diff hist +3‎ Using the Command-Line Version of ProB ‎ →‎probcli Basics
16:0816:08, 19 January 2010 diff hist +3,645‎ Using the Command-Line Version of ProB ‎ →‎probcli Basics
16:0716:07, 19 January 2010 diff hist +1,240‎ N Using the Command-Line Version of ProB ‎ Created page with 'Category:Tutorial Category:User Manual The command-line version of ProB offers many of the feature of the standalone Tcl/Tk Version, but via the command-line. As such, y…'
15:5815:58, 19 January 2010 diff hist +46‎ Tutorial ‎No edit summary
15:1515:15, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoad4.png ‎No edit summary current
15:1515:15, 19 January 2010 diff hist +1,186‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
15:0415:04, 19 January 2010 diff hist +1‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
15:0415:04, 19 January 2010 diff hist +275‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
15:0115:01, 19 January 2010 diff hist +150‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
15:0015:00, 19 January 2010 diff hist +433‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example
14:5314:53, 19 January 2010 diff hist +49‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
14:5314:53, 19 January 2010 diff hist +97‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
14:5114:51, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoadMsg3.png ‎No edit summary current
14:5114:51, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoadDebug3.png ‎No edit summary current
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

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
14:2514:25, 18 January 2010 diff hist +21‎ Tutorial First Step ‎ →‎First Steps in Animation
14:2314:23, 18 January 2010 diff hist 0‎ File:ProB LiftAfterDecBack.png ‎ uploaded a new version of "File:ProB LiftAfterDecBack.png" current
14:2314:23, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterDec.png ‎No edit summary current
14:2314:23, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterDecBack.png ‎No edit summary
14:2214:22, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterInitInvariant.png ‎No edit summary current
14:2214:22, 18 January 2010 diff hist +1,611‎ Tutorial First Step ‎ →‎First Steps in Animation
14:1214:12, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterInit.png ‎No edit summary current
14:1114:11, 18 January 2010 diff hist +1,280‎ Tutorial First Step ‎No edit summary
14:0114:01, 18 January 2010 diff hist +6‎ Tutorial First Step ‎ →‎Loading a first B machine
14:0114:01, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterLoad.png ‎No edit summary current
14:0014:00, 18 January 2010 diff hist 0‎ N File:ProBWinExamplesFolder.png ‎No edit summary current
14:0014:00, 18 January 2010 diff hist 0‎ N File:ProBWinOpen.png ‎No edit summary current
14:0014:00, 18 January 2010 diff hist +402‎ Tutorial First Step ‎No edit summary
13:5413:54, 18 January 2010 diff hist +194‎ Tutorial First Step ‎ →‎Starting ProB
13:5213:52, 18 January 2010 diff hist 0‎ N File:ProBWinContents.png ‎No edit summary current
13:5213:52, 18 January 2010 diff hist +62‎ Tutorial First Step ‎No edit summary
13:5013:50, 18 January 2010 diff hist 0‎ N File:ProBStartTerminal.png ‎No edit summary current
13:4713:47, 18 January 2010 diff hist +14‎ Tutorial First Step ‎ →‎Starting ProB
13:4713:47, 18 January 2010 diff hist +7‎ Tutorial First Step ‎ →‎Starting ProB
13:4413:44, 18 January 2010 diff hist 0‎ N File:ProBStartWindow.png ‎No edit summary current
13:4413:44, 18 January 2010 diff hist 0‎ Tutorial First Step ‎ →‎Starting ProB
13:3813:38, 18 January 2010 diff hist −1‎ Tutorial First Step ‎ →‎Starting ProB
13:3813:38, 18 January 2010 diff hist +711‎ N Tutorial First Step ‎ Created page with 'Category:User Manual == Installation == Start off by installing the standalone Tcl/Tk version of ProB. Follow the instructions in Installation. == Starting ProB == S…'
13:3113:31, 18 January 2010 diff hist +49‎ N Tutorial ‎ Created page with 'Category:Tutorial * Tutorial First Step'
13:2513:25, 18 January 2010 diff hist +1‎ Using ProB with Atelier B ‎ →‎Limitations
13:2313:23, 18 January 2010 diff hist −589‎ Using ProB with Atelier B ‎No edit summary
13:2113:21, 18 January 2010 diff hist +48‎ Using ProB with Atelier B ‎ →‎Limitations
13:1413:14, 18 January 2010 diff hist +376‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
13:1013:10, 18 January 2010 diff hist +3,082‎ N Using ProB with Atelier B ‎ Created page with ' Category:User Manual As of version 1.3, ProB contains a much improved parser which tries be compliant with Atelier B as much as possible. == Atelier B Plugin == There is…'
13:0413:04, 18 January 2010 diff hist +61‎ Current Limitations ‎No edit summary
13:0213:02, 18 January 2010 diff hist +96‎ Installation ‎ →‎Which versions are there?
13:0113:01, 18 January 2010 diff hist +107‎ Installation ‎No edit summary
12:5812:58, 18 January 2010 diff hist −12‎ Current Limitations ‎No edit summary
12:5812:58, 18 January 2010 diff hist +121‎ Current Limitations ‎No edit summary
12:5312:53, 18 January 2010 diff hist +189‎ Graphical Viewer ‎ →‎Introduction
12:5012:50, 18 January 2010 diff hist −11‎ Graphical Viewer ‎ →‎Setting up the Graphical Viewer
12:4912:49, 18 January 2010 diff hist 0‎ N File:GraphicalViewerPreferences.png ‎No edit summary current
12:4912:49, 18 January 2010 diff hist 0‎ N File:GraphicalViewerPreferencesMenuEntry.png ‎No edit summary current
12:4812:48, 18 January 2010 diff hist +24‎ Graphical Viewer ‎No edit summary
12:4712:47, 18 January 2010 diff hist −12‎ Installation ‎ →‎Checklist/Troubleshooting
12:4612:46, 18 January 2010 diff hist +80‎ Installation ‎No edit summary
12:2912:29, 18 January 2010 diff hist +1‎ Graphical Viewer ‎ →‎Setting up the Graphical Viewer
12:2812:28, 18 January 2010 diff hist 0‎ N File:GraphicalViewerSubMenu.png ‎No edit summary current
12:2812:28, 18 January 2010 diff hist +37‎ Graphical Viewer ‎No edit summary
12:2512:25, 18 January 2010 diff hist +108‎ Graphical Viewer ‎No edit summary
12:2112:21, 18 January 2010 diff hist +1,349‎ N Graphical Viewer ‎ Created page with ' == Introduction == ProB can generate a wide range of visualizations for your models. For this ProB generates first a textual representation of a graph in the "dot" format. This…'
12:1612:16, 18 January 2010 diff hist +2‎ Installation ‎No edit summary
12:1512:15, 18 January 2010 diff hist +277‎ Installation ‎No edit summary
12:0212:02, 18 January 2010 diff hist +970‎ Installation ‎No edit summary
11:5411:54, 18 January 2010 diff hist +7‎ Installation ‎ →‎Which version shall I use?

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"