User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,313 edits. Account created on 18 January 2010.

12:2812:28, 26 June 2014 diff hist +240 Using the Command-Line Version of ProB →-c

04:5004:50, 4 June 2014 diff hist +45 User Manual →Sample Models

12:5912:59, 3 June 2014 diff hist −271 Constraint Based Checking No edit summary

09:5909:59, 28 May 2014 diff hist +594 Getting Involved →Running ProB from Prolog
09:0809:08, 28 May 2014 diff hist +44 Getting Involved No edit summary
08:3108:31, 28 May 2014 diff hist +210 Getting Involved →Running ProB from Prolog
08:2908:29, 28 May 2014 diff hist +424 Getting Involved →Running ProB from Prolog
08:2508:25, 28 May 2014 diff hist +873 Getting Involved No edit summary

09:1709:17, 12 April 2014 diff hist +1 Download →Nightly Build

08:0608:06, 8 April 2014 diff hist +130 ProB Logic Calculator →Executing the Calculator locally

09:5109:51, 26 March 2014 diff hist +201 Tutorial Rodin Parameters →Size of unspecified sets (carrier sets)
09:5009:50, 26 March 2014 diff hist +453 Tutorial Rodin Parameters No edit summary

14:2514:25, 21 March 2014 diff hist +1 Links →Testimonies
05:4805:48, 21 March 2014 diff hist −2 Links →Testimonies
05:4805:48, 21 March 2014 diff hist −2 Links →Testimonies
05:4705:47, 21 March 2014 diff hist 0 Links →Testimonies
05:4705:47, 21 March 2014 diff hist +918 Links →Testimonies
05:4305:43, 21 March 2014 diff hist 0 Links →Testimonies
05:4205:42, 21 March 2014 diff hist +518 Links →Testimonies
05:3805:38, 21 March 2014 diff hist +1,203 Links →Testimonies
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

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

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

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

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

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

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

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