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.

08:3808:38, 29 October 2014 diff hist +32 Tutorial No edit summary

15:5115:51, 28 October 2014 diff hist 0 N File:AllOpsCoveredDialog.png No edit summary current
15:5115:51, 28 October 2014 diff hist +126 Tutorial Model-Based Testing →Model-Checking Based Testcase Generation
15:5015:50, 28 October 2014 diff hist 0 N File:StopWhenAllOpsCovered.png No edit summary current
15:5015:50, 28 October 2014 diff hist +1,319 N Tutorial Model-Based Testing Created page with 'We assume that you have completed Tutorial Complete Model Checking. It may also be a good idea to complete the Tutorial_Model_Checking,_Proof_and_CBC. Let us examine the…'
15:3715:37, 28 October 2014 diff hist +35 Tutorial No edit summary

14:1814:18, 3 October 2014 diff hist +104 Links →Tools using ProB
14:1714:17, 3 October 2014 diff hist +192 Links →Tools using ProB

07:3707:37, 18 September 2014 diff hist +11 Current Limitations No edit summary
07:3107:31, 18 September 2014 diff hist +85 Current Limitations No edit summary
07:2907:29, 18 September 2014 diff hist +89 Summary of B Syntax →Differences with AtelierB/B4Free

15:0115:01, 16 September 2014 diff hist +144 Installation →What are the available versions?
15:0015:00, 16 September 2014 diff hist 0 Installation →What are the available versions?
15:0015:00, 16 September 2014 diff hist +329 Installation No edit summary

08:1008:10, 1 September 2014 diff hist 0 Windows Installation Instructions →Download the ProB for Windows Zipfile
08:1008:10, 1 September 2014 diff hist +13 Windows Installation Instructions No edit summary
07:5507:55, 1 September 2014 diff hist −6 Windows Installation Instructions →Download the ProB for Windows Zipfile

07:4607:46, 27 August 2014 diff hist +110 The ProB Animator and Model Checker No edit summary

08:2508:25, 22 August 2014 diff hist +43 The ProB Animator and Model Checker No edit summary
08:0108:01, 22 August 2014 diff hist 0 Download →Latest Release

08:0708:07, 5 August 2014 diff hist +1 Rush Hour Puzzle →B Encoding of the Rush Hour Puzzle
08:0708:07, 5 August 2014 diff hist +7 Rush Hour Puzzle →B Encoding of the Rush Hour Puzzle
08:0508:05, 5 August 2014 diff hist +78 Rush Hour Puzzle No edit summary
08:0408:04, 5 August 2014 diff hist +679 Rush Hour Puzzle No edit summary
07:5607:56, 5 August 2014 diff hist +342 Rush Hour Puzzle No edit summary
07:5107:51, 5 August 2014 diff hist +411 Rush Hour Puzzle No edit summary
07:4607:46, 5 August 2014 diff hist −17 Consistency Checking No edit summary

13:0813:08, 30 July 2014 diff hist +57 Download →Short Release History
08:2308:23, 30 July 2014 diff hist −1 Download →Prior Versions
08:2308:23, 30 July 2014 diff hist −5,311 Download →Latest Release
07:4907:49, 30 July 2014 diff hist −19 DownloadPriorVersions No edit summary
07:4907:49, 30 July 2014 diff hist +198 DownloadPriorVersions No edit summary
07:4707:47, 30 July 2014 diff hist −17 Download No edit summary
07:4607:46, 30 July 2014 diff hist +7,111 N DownloadPriorVersions Created page with '== Prior Versions of ProB == {| border="1" ! Platform ! Release Date ! Download ! Dependencies |- | colspan="4" style="background-color:lightgrey;" | 1.3.6-final |- | Linux | …'
07:4607:46, 30 July 2014 diff hist +136 Download →Latest Release

11:0511:05, 23 July 2014 diff hist −1 Fibonacci Numbers with Automatic Dynamic Programming No edit summary current
11:0511:05, 23 July 2014 diff hist −2 Fibonacci Numbers with Automatic Dynamic Programming No edit summary
11:0511:05, 23 July 2014 diff hist +25 Fibonacci Numbers with Automatic Dynamic Programming No edit summary
10:5110:51, 23 July 2014 diff hist +896 Euler Problem 67 - Maximum Path Sum II →The solution in B
10:4810:48, 23 July 2014 diff hist 0 Euler Problem 67 - Maximum Path Sum II →The solution in B
10:4810:48, 23 July 2014 diff hist +191 Euler Problem 67 - Maximum Path Sum II →The solution in B
10:4610:46, 23 July 2014 diff hist +145 Euler Problem 67 - Maximum Path Sum II →The solution in B
10:4410:44, 23 July 2014 diff hist +50 Euler Problem 67 - Maximum Path Sum II →The solution in B
10:4310:43, 23 July 2014 diff hist +140 Euler Problem 67 - Maximum Path Sum II No edit summary
10:4110:41, 23 July 2014 diff hist −2 Installation No edit summary

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