User contributions for Michael Leuschel

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:

5 May 2020

• 11:4311:43, 5 May 2020 diff hist +6 Download →Latest Beta Release

29 April 2020

• 10:3410:34, 29 April 2020 diff hist −1 ProB for Railways →First Industrial Use of ProB for Data Validation
• 10:3310:33, 29 April 2020 diff hist −108 ProB for Railways →First Industrial Use of ProB for Data Validation
• 10:3010:30, 29 April 2020 diff hist +188 ProB for Railways →First Industrial Use of ProB for Data Validation
• 10:1610:16, 29 April 2020 diff hist −6 ProB for Railways →Further Industrial Uses of ProB for Data Validation
• 10:1610:16, 29 April 2020 diff hist −25 ProB for Railways →Further Industrial Uses of ProB for Data Validation
• 10:1510:15, 29 April 2020 diff hist −5 ProB for Railways →Further Industrial Uses of ProB for Data Validation
• 09:2509:25, 29 April 2020 diff hist −3 ProB for Railways →Further Industrial Uses of ProB for Data Validation
• 09:2509:25, 29 April 2020 diff hist +1 ProB for Railways →Further Industrial Uses of ProB for Data Validation
• 09:2509:25, 29 April 2020 diff hist −4 ProB for Railways →First Industrial Use of ProB for Data Validation
• 09:2409:24, 29 April 2020 diff hist +2,024 ProB for Railways →Industrial Uses of ProB for Data Validation
• 09:1609:16, 29 April 2020 diff hist +1 ProB for Railways →What is Data Validation
• 09:1509:15, 29 April 2020 diff hist +140 ProB for Railways →What is Data Validation
• 09:1509:15, 29 April 2020 diff hist +1,039 ProB for Railways →Data Validation
• 09:1109:11, 29 April 2020 diff hist −2 ProB History →A small history of ProB current
• 09:1009:10, 29 April 2020 diff hist +2,618 N ProB History Created page with "== A small history of ProB == ProB's development started in 2001 with a first alpha release made in October 2003. It filled a gap in the B tooling landscape at the time, sup..."