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

08:1608:16, 27 May 2020 diff hist +135 User Manual →Sample Models

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

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

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:

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

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..."
09:0709:07, 29 April 2020 diff hist +19 Links →ProB

10:0910:09, 23 April 2020 diff hist −1 Using ProB with Atelier B →Limitations
10:0910:09, 23 April 2020 diff hist +287 Using ProB with Atelier B →Limitations
10:0710:07, 23 April 2020 diff hist +260 Using ProB with Atelier B →Extra Features of ProB
10:0310:03, 23 April 2020 diff hist −1 Using ProB with Atelier B →Extra Features of ProB
10:0310:03, 23 April 2020 diff hist +62 Using ProB with Atelier B →Differences with Atelier B
10:0210:02, 23 April 2020 diff hist −1 Current Limitations No edit summary
10:0210:02, 23 April 2020 diff hist −271 Current Limitations No edit summary
10:0010:00, 23 April 2020 diff hist −554 Using ProB with Atelier B →Limitations
09:5809:58, 23 April 2020 diff hist +117 Using ProB with Atelier B →Extra Features of ProB
08:3708:37, 23 April 2020 diff hist +40 ParB →parB2.sh
08:3508:35, 23 April 2020 diff hist +1,403 ParB →Files
08:3508:35, 23 April 2020 diff hist +1,446 ParB →Files
08:3308:33, 23 April 2020 diff hist +32 ParB No edit summary
08:2708:27, 23 April 2020 diff hist −6 Induction Proofs in B →The full model with the inductive proof
08:2608:26, 23 April 2020 diff hist −1 Induction Proofs in B →A generic induction proof
08:2508:25, 23 April 2020 diff hist −1 Induction Proofs in B →A generic induction proof
08:1508:15, 23 April 2020 diff hist +169 Induction Proofs in B →Induction and Pure Predicate Logic

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