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,302 edits. Account created on 18 January 2010.

16:0316:03, 15 January 2015 diff hist +74 Symmetry Reduction →Static Symmetry Reduction
15:5415:54, 15 January 2015 diff hist +12 Symmetry Reduction →Static Symmetry Reduction
15:5415:54, 15 January 2015 diff hist +10 Symmetry Reduction →Static Symmetry Reduction
15:5315:53, 15 January 2015 diff hist +723 Symmetry Reduction No edit summary
15:4415:44, 15 January 2015 diff hist +1,146 Symmetry Reduction No edit summary

06:2506:25, 12 December 2014 diff hist +419 Using the Command-Line Version of ProB →-cbc_deadlock_pred >

14:5914:59, 5 December 2014 diff hist −1 Prolog Coding Guidelines →Git
14:5914:59, 5 December 2014 diff hist +1,380 Prolog Coding Guidelines No edit summary

18:1818:18, 24 November 2014 diff hist +125 Using the Command-Line Version of ProB →-cbc_cover Operation
18:1718:17, 24 November 2014 diff hist +160 Using the Command-Line Version of ProB →-cb_tests Depth EndPredicate File
18:1518:15, 24 November 2014 diff hist +51 Using the Command-Line Version of ProB →-cb_cover Operation
18:1418:14, 24 November 2014 diff hist +424 Test Case Generation →From the command line
10:5710:57, 24 November 2014 diff hist −10 Links →Tools using ProB
10:5610:56, 24 November 2014 diff hist +189 Links →Tools using ProB
10:5510:55, 24 November 2014 diff hist +146 Links →Tools using ProB
08:3308:33, 24 November 2014 diff hist +85 Sudoku Solved in the ProB REPL No edit summary
08:3108:31, 24 November 2014 diff hist +163 Sudoku Solved in the ProB REPL No edit summary

08:4808:48, 22 November 2014 diff hist −26 Sudoku Solved in the ProB REPL No edit summary
08:4708:47, 22 November 2014 diff hist +425 Sudoku Solved in the ProB REPL No edit summary
08:4108:41, 22 November 2014 diff hist +130 Sudoku Solved in the ProB REPL No edit summary
08:3908:39, 22 November 2014 diff hist +822 Sudoku Solved in the ProB REPL No edit summary
08:2908:29, 22 November 2014 diff hist +449 Sudoku Solved in the ProB REPL No edit summary

09:0309:03, 10 November 2014 diff hist −5 TLC No edit summary
09:0209:02, 10 November 2014 diff hist +229 TLC No edit summary
08:5208:52, 10 November 2014 diff hist +156 TLC No edit summary

11:0311:03, 31 October 2014 diff hist +2 ProB for Rodin No edit summary
11:0011:00, 31 October 2014 diff hist +3 BMotion Studio No edit summary
10:5810:58, 31 October 2014 diff hist +351 Links →Testimonials

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

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