User contributions for Michael Leuschel

12 July 2014

• 14:5814:58, 12 July 2014 diff hist +334 Getting Involved →Running the Prolog Tests
• 14:5414:54, 12 July 2014 diff hist +1,504 Getting Involved No edit summary
• 14:4014:40, 12 July 2014 diff hist +91 Getting Involved →Running ProB from Prolog
• 14:3914:39, 12 July 2014 diff hist +45 Getting Involved →Running ProB from Prolog

11 July 2014

• 09:0509:05, 11 July 2014 diff hist +491 Sudoku Solved in the ProB REPL No edit summary

10 July 2014

• 16:1216:12, 10 July 2014 diff hist +12 Sudoku Solved in the ProB REPL No edit summary
• 16:1116:11, 10 July 2014 diff hist +292 Sudoku Solved in the ProB REPL No edit summary
• 16:0916:09, 10 July 2014 diff hist +7,741 N Sudoku Solved in the ProB REPL Created page with ' For this example we try and solve a Sudoku using the REPL (Read-Eval-Print-Loop) of ProB only, without constructing any B machine. The REPL can either be started using probcli's…'
• 16:0016:00, 10 July 2014 diff hist +37 User Manual →Sample Models

8 July 2014

• 16:3916:39, 8 July 2014 diff hist −57 Eval Console No edit summary
• 16:3816:38, 8 July 2014 diff hist +672 Eval Console No edit summary
• 16:3516:35, 8 July 2014 diff hist +1 Using the Command-Line Version of ProB →-repl
• 16:3416:34, 8 July 2014 diff hist +241 Using the Command-Line Version of ProB →-repl

27 June 2014

• 07:5807:58, 27 June 2014 diff hist +92 Peaceable Armies of Queens No edit summary
• 07:5707:57, 27 June 2014 diff hist +1 Peaceable Armies of Queens No edit summary
• 06:0806:08, 27 June 2014 diff hist −93 Graphical Visualization →The Graphical Animation Model
• 06:0406:04, 27 June 2014 diff hist +637 Graphical Visualization →The Graphical Animation Model
• 05:5305:53, 27 June 2014 diff hist +13 ProZ →Graphical animation
• 05:4905:49, 27 June 2014 diff hist 0 N File:ProZ jars.png No edit summary current
• 05:4905:49, 27 June 2014 diff hist +514 ProZ →Graphical animation
• 05:4605:46, 27 June 2014 diff hist +825 ProZ No edit summary

26 June 2014

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

4 June 2014

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

3 June 2014

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

28 May 2014

• 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

12 April 2014

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

8 April 2014

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

26 March 2014

• 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

21 March 2014

• 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

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