User contributions for Michael Leuschel

15 July 2020

• 09:2309:23, 15 July 2020 diff hist 0 File:Wd prob.pdf Michael Leuschel uploaded a new version of File:Wd prob.pdf current

9 July 2020

• 12:4612:46, 9 July 2020 diff hist 0 File:Wd prob.pdf Michael Leuschel uploaded a new version of File:Wd prob.pdf
• 12:4112:41, 9 July 2020 diff hist 0 File:Wd prob.pdf Michael Leuschel uploaded a new version of File:Wd prob.pdf
• 09:2509:25, 9 July 2020 diff hist 0 File:Wd prob.pdf Michael Leuschel uploaded a new version of File:Wd prob.pdf
• 09:2309:23, 9 July 2020 diff hist 0 N File:Wd prob.pdf No edit summary
• 09:2309:23, 9 July 2020 diff hist +128 Well-Definedness Checking →Generating and Checking Well-Definedness Proof Obligations in ProB
• 08:5508:55, 9 July 2020 diff hist −13 Well-Definedness Checking →Generating and Checking Well-Definedness Proof Obligations in ProB

7 July 2020

• 05:1305:13, 7 July 2020 diff hist +116 Well-Definedness Checking →ProB2-UI

6 July 2020

• 14:4214:42, 6 July 2020 diff hist 0 Download →Latest Beta Release

3 July 2020

• 14:5614:56, 3 July 2020 diff hist +14 Developer Manual No edit summary
• 14:5514:55, 3 July 2020 diff hist 0 Developer Manual No edit summary

17 June 2020

• 08:2008:20, 17 June 2020 diff hist +329 Editors for ProB →External Editors
• 08:1908:19, 17 June 2020 diff hist +2 Well-Definedness Checking →VSCode
• 07:4707:47, 17 June 2020 diff hist 0 N File:WD VSCode Example2.png No edit summary current
• 07:4707:47, 17 June 2020 diff hist 0 N File:WD VSCode Example1.png No edit summary current
• 07:4607:46, 17 June 2020 diff hist 0 N File:WD VSCode Settings.png No edit summary current
• 07:4607:46, 17 June 2020 diff hist +372 Well-Definedness Checking No edit summary
• 07:4207:42, 17 June 2020 diff hist +329 Well-Definedness Checking No edit summary

15 June 2020

• 09:3109:31, 15 June 2020 diff hist +7 Test Case Generation →References
• 09:3009:30, 15 June 2020 diff hist +73 Test Case Generation →References
• 09:2709:27, 15 June 2020 diff hist +172 Test Case Generation →References
• 09:2309:23, 15 June 2020 diff hist +12 Test Case Generation →References
• 09:2309:23, 15 June 2020 diff hist +543 Test Case Generation No edit summary

12 June 2020

• 10:3110:31, 12 June 2020 diff hist +3,213 LTSmin →ProB LTSmin CLI-Commands

10 June 2020

• 08:0008:00, 10 June 2020 diff hist −1 LTSmin →ProB LTSmin CLI-Commands
• 08:0008:00, 10 June 2020 diff hist +1,217 LTSmin →ProB LTSmin CLI-Commands
• 07:5007:50, 10 June 2020 diff hist +58 LTSmin →LTSmin Extension of ProB
• 07:4707:47, 10 June 2020 diff hist −4 LTSmin →ProB LTSmin CLI-Commands
• 07:4607:46, 10 June 2020 diff hist +5 LTSmin →ProB LTSmin CLI-Commands
• 07:4607:46, 10 June 2020 diff hist +8 LTSmin →ProB LTSmin CLI-Commands
• 07:4607:46, 10 June 2020 diff hist +236 LTSmin →ProB LTSmin CLI-Commands
• 07:4107:41, 10 June 2020 diff hist +1,025 LTSmin →LTSmin Extension of ProB

9 June 2020

• 12:4612:46, 9 June 2020 diff hist 0 The ProB Animator and Model Checker →Implementation
• 12:4612:46, 9 June 2020 diff hist +20 N LTSMin Michael Leuschel moved page LTSMin to LTSmin current
• 12:4612:46, 9 June 2020 diff hist 0 m LTSmin Michael Leuschel moved page LTSMin to LTSmin
• 12:4412:44, 9 June 2020 diff hist 0 LTSmin →LTSmin Extension of ProB
• 12:4412:44, 9 June 2020 diff hist 0 N File:ProBLTSMinTk.png No edit summary current
• 12:4312:43, 9 June 2020 diff hist +21 LTSmin →LTSmin Extension of ProB
• 12:4212:42, 9 June 2020 diff hist +37 LTSmin →LTSmin Extension of ProB
• 12:0112:01, 9 June 2020 diff hist +25 LTSmin →LTSmin Extension of ProB
• 12:0012:00, 9 June 2020 diff hist +632 LTSmin →LTSmin Extension of ProB
• 11:5411:54, 9 June 2020 diff hist +37 The ProB Animator and Model Checker →Implementation
• 11:5411:54, 9 June 2020 diff hist +51 LTSmin →LTSmin Extension of ProB
• 11:5311:53, 9 June 2020 diff hist +569 N LTSmin Created page with "== LTSmin Extension of ProB == In order to set up LTSmin, do the following: * Download the latest LTSmin release: https://github.com/utwente-fmt/ltsmin/releases and extract..."
• 11:5211:52, 9 June 2020 diff hist +62 Template:User Manual Index No edit summary

27 May 2020

• 13:0813:08, 27 May 2020 diff hist 0 VisB →VisB
• 13:0813:08, 27 May 2020 diff hist +126 VisB →VisB
• 13:0613:06, 27 May 2020 diff hist +1 VisB →Citing VisB
• 13:0613:06, 27 May 2020 diff hist +529 VisB →VisB
• 12:5512:55, 27 May 2020 diff hist +94 VisB →VisB