User contributions for Michael Leuschel

21 March 2014

• 05:2905:29, 21 March 2014 diff hist +59 Links →Testimonies
• 05:2805:28, 21 March 2014 diff hist +132 Siemens Data Validation with ProB →Papers
• 05:2705:27, 21 March 2014 diff hist +2,462 N Siemens Data Validation with ProB Created page with '= ProB Validation for Siemens SAS = == Situation == During the course of the European FP7 project Deploy, Siemens deployed the ProB software to check if it was feasible to use …'
• 05:2405:24, 21 March 2014 diff hist +39 Links →Testimonies
• 05:2205:22, 21 March 2014 diff hist +265 Links →Testimonies
• 05:2005:20, 21 March 2014 diff hist +827 Links →Testimonies
• 05:1705:17, 21 March 2014 diff hist +775 Links No edit summary

12 March 2014

• 08:1608:16, 12 March 2014 diff hist 0 N File:Disprover proof.png No edit summary current
• 08:1608:16, 12 March 2014 diff hist +75 Tutorial Disprover No edit summary
• 08:1408:14, 12 March 2014 diff hist 0 N File:Disprover proof control.png No edit summary current
• 08:1308:13, 12 March 2014 diff hist +38 Tutorial Disprover →How to use it

4 March 2014

• 07:0607:06, 4 March 2014 diff hist +45 Links →Tools using ProB

21 February 2014

• 08:2708:27, 21 February 2014 diff hist +10 m ABZ14 No edit summary
• 08:2608:26, 21 February 2014 diff hist +150 ABZ14 No edit summary

20 February 2014

• 15:5515:55, 20 February 2014 diff hist +28 Peaceable Armies of Queens No edit summary
• 15:5415:54, 20 February 2014 diff hist +55 N-Queens No edit summary current
• 15:5215:52, 20 February 2014 diff hist +441 N-Queens No edit summary
• 15:4615:46, 20 February 2014 diff hist 0 N File:ProB Queens 40 Screenshot.png No edit summary current
• 15:4615:46, 20 February 2014 diff hist +1,685 N N-Queens Created page with ' The N-Queens is a famous constraint solving benchmark puzzle. It is a generalisation of the original [http://en.wikipedia.org/wiki/Eight_queens_puzzle eight queens puzzle], wher…'
• 15:3815:38, 20 February 2014 diff hist +15 ProB Examples No edit summary

17 February 2014

• 14:1914:19, 17 February 2014 diff hist +131 Links →Books

25 January 2014

• 07:3707:37, 25 January 2014 diff hist +99 The ProB Animator and Model Checker →Implementation
• 07:3407:34, 25 January 2014 diff hist +15 The ProB Animator and Model Checker →Features
• 07:3407:34, 25 January 2014 diff hist +24 The ProB Animator and Model Checker →Features
• 07:3207:32, 25 January 2014 diff hist +121 The ProB Animator and Model Checker →Implementation
• 07:2807:28, 25 January 2014 diff hist −846 The ProB Animator and Model Checker No edit summary
• 07:2507:25, 25 January 2014 diff hist +1,723 Download No edit summary
• 07:2207:22, 25 January 2014 diff hist +73 Links No edit summary
• 07:1907:19, 25 January 2014 diff hist +33 User Manual →Sample Models
• 07:1707:17, 25 January 2014 diff hist +31 Using ProB with KODKOD No edit summary
• 07:1607:16, 25 January 2014 diff hist +2 Peaceable Armies of Queens →Checking
• 07:1607:16, 25 January 2014 diff hist −2 Peaceable Armies of Queens No edit summary
• 07:1107:11, 25 January 2014 diff hist +234 Peaceable Armies of Queens →Optimization
• 07:0807:08, 25 January 2014 diff hist 0 N File:ProB PeaceableQueens 8 9 Opt Screenshot.png No edit summary current
• 07:0807:08, 25 January 2014 diff hist 0 N File:ProB PeaceableQueens 8 9 Screenshot.png No edit summary current
• 07:0807:08, 25 January 2014 diff hist −188 Peaceable Armies of Queens →Optimization
• 07:0707:07, 25 January 2014 diff hist +3,881 Peaceable Armies of Queens No edit summary
• 06:5906:59, 25 January 2014 diff hist +1,337 Peaceable Armies of Queens No edit summary
• 06:5206:52, 25 January 2014 diff hist +3,013 N Peaceable Armies of Queens Created page with 'I found this challenging constraint programming problem in the following paper: * B. M. Smith, K. E. Petrie, and I. P. Gent. Models and symmetry breaking for peaceable armies of …'
• 06:4606:46, 25 January 2014 diff hist +33 ProB Examples No edit summary
• 06:4206:42, 25 January 2014 diff hist +285 Using ProB with KODKOD No edit summary

16 December 2013

• 16:2716:27, 16 December 2013 diff hist +258 Using ProB with Atelier B →Extra Features of ProB
• 16:1816:18, 16 December 2013 diff hist +201 Current Limitations No edit summary
• 16:1816:18, 16 December 2013 diff hist +200 Using ProB with Atelier B →Extra Features of ProB
• 16:1516:15, 16 December 2013 diff hist +338 Current Limitations No edit summary

15 December 2013

• 15:0715:07, 15 December 2013 diff hist +210 Tutorial Animation Tips →Executing an Operation by Predicate
• 15:0615:06, 15 December 2013 diff hist 0 N File:ProB Lift ExecuteOperation Dialog Pred.png No edit summary current
• 15:0515:05, 15 December 2013 diff hist +205 Tutorial Animation Tips →Executing an Operation by Predicate
• 15:0315:03, 15 December 2013 diff hist 0 N File:ProB Lift ExecuteOperationMenu.png No edit summary current
• 15:0315:03, 15 December 2013 diff hist +24 Tutorial Animation Tips No edit summary