User contributions for Michael Leuschel

17 June 2020

• 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
• 08:1608:16, 27 May 2020 diff hist +135 User Manual →Sample Models

25 May 2020

• 14:5814:58, 25 May 2020 diff hist −6 Summary of B Syntax →Machine inclusion:
• 14:5714:57, 25 May 2020 diff hist 0 Summary of B Syntax →Machine inclusion:
• 14:5714:57, 25 May 2020 diff hist −102 Summary of B Syntax →Machine inclusion:
• 14:4314:43, 25 May 2020 diff hist 0 Summary of B Syntax →Definitions:
• 14:4314:43, 25 May 2020 diff hist −2 Summary of B Syntax →Definitions:
• 14:4214:42, 25 May 2020 diff hist 0 Summary of B Syntax →Definitions:
• 14:4214:42, 25 May 2020 diff hist +14 Summary of B Syntax →Definitions:
• 14:4214:42, 25 May 2020 diff hist +1,735 Summary of B Syntax →Definitions:
• 14:4014:40, 25 May 2020 diff hist +549 Summary of B Syntax →Comments and Pragmas

22 May 2020

• 07:5307:53, 22 May 2020 diff hist +17 User Manual →Sample Models
• 07:5307:53, 22 May 2020 diff hist +539 User Manual →Sample Models
• 07:5007:50, 22 May 2020 diff hist +297 User Manual →Sample Models

14 May 2020

• 08:0508:05, 14 May 2020 diff hist +100 Using ProB with Atelier B →Extra Features of ProB
• 08:0408:04, 14 May 2020 diff hist +72 Summary of B Syntax →Differences with AtelierB/B4Free
• 08:0408:04, 14 May 2020 diff hist +94 Summary of B Syntax →Relations: