User contributions for Michael Leuschel

2 June 2010

• 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

12 April 2010

• 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

1 April 2010

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

30 March 2010

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

24 March 2010

• 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

22 March 2010

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

18 March 2010

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

16 March 2010

• 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

12 March 2010

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

3 March 2010

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

25 February 2010

• 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

19 February 2010

• 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

11 February 2010

• 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

26 January 2010

• 11:0611:06, 26 January 2010 diff hist +58 Tutorial Understanding ProB's Constraint Solver →Adding universally quantified formulas
• 11:0411:04, 26 January 2010 diff hist 0 Tutorial Understanding ProB's Constraint Solver →Complicating the Example

22 January 2010

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

20 January 2010

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

19 January 2010

• 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