User contributions for Michael Leuschel

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

23 April 2020

• 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
• 08:0908:09, 23 April 2020 diff hist +9‎ ABZ14 ‎ →‎ProB Live Visualisations
• 08:0808:08, 23 April 2020 diff hist +2‎ ABZ14 ‎ →‎ProB Live Visualisations
• 07:5807:58, 23 April 2020 diff hist +71‎ Induction Proofs in B ‎ →‎Induction and B
• 07:5707:57, 23 April 2020 diff hist +64‎ Induction Proofs in B ‎ →‎Induction and B
• 07:5607:56, 23 April 2020 diff hist +2‎ Induction Proofs in B ‎ →‎Induction and Pure Predicate Logic
• 07:5607:56, 23 April 2020 diff hist +211‎ Induction Proofs in B ‎ →‎Encoding the Problem as a B Operation

22 April 2020

• 09:3609:36, 22 April 2020 diff hist +1‎ Induction Proofs in B ‎ →‎Induction and B
• 09:3509:35, 22 April 2020 diff hist +110‎ Induction Proofs in B ‎ →‎Induction and B
• 09:3409:34, 22 April 2020 diff hist −1‎ Induction Proofs in B ‎ →‎Induction and B
• 09:3409:34, 22 April 2020 diff hist −2‎ Induction Proofs in B ‎ →‎Induction and B
• 09:3409:34, 22 April 2020 diff hist +198‎ Induction Proofs in B ‎ →‎Induction and B
• 09:1909:19, 22 April 2020 diff hist 0‎ Induction Proofs in B ‎ →‎Induction and pure Predicate Logic
• 09:1809:18, 22 April 2020 diff hist +1‎ Induction Proofs in B ‎ →‎Induction and pure Predicate Logic
• 09:1809:18, 22 April 2020 diff hist 0‎ N File:Rodin Induction Counter ProB.png ‎No edit summary current
• 09:1809:18, 22 April 2020 diff hist +2,046‎ Induction Proofs in B ‎ →‎Encoding the Problem as a B Operation
• 09:0809:08, 22 April 2020 diff hist +14‎ Induction Proofs in B ‎ →‎Encoding as B Operation