User contributions for Michael Leuschel

23 April 2020

• 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
• 09:0809:08, 22 April 2020 diff hist +72 Induction Proofs in B No edit summary
• 09:0509:05, 22 April 2020 diff hist +416 Induction Proofs in B →Encoding as B Operation
• 09:0009:00, 22 April 2020 diff hist 0 File:Rodin Induction Operation ProB.png Michael Leuschel uploaded a new version of File:Rodin Induction Operation ProB.png current
• 08:5708:57, 22 April 2020 diff hist +133 Induction Proofs in B →Encoding as B Operation
• 08:5608:56, 22 April 2020 diff hist 0 N File:Rodin Induction Operation ProB.png No edit summary
• 08:5308:53, 22 April 2020 diff hist +434 Induction Proofs in B No edit summary
• 07:0907:09, 22 April 2020 diff hist −1 Induction Proofs in B No edit summary
• 07:0907:09, 22 April 2020 diff hist −1 Induction Proofs in B No edit summary
• 07:0807:08, 22 April 2020 diff hist +107 Induction Proofs in B No edit summary
• 07:0807:08, 22 April 2020 diff hist −7 Induction Proofs in B No edit summary
• 07:0707:07, 22 April 2020 diff hist +11 Induction Proofs in B No edit summary
• 07:0607:06, 22 April 2020 diff hist +274 Induction Proofs in B No edit summary
• 06:5706:57, 22 April 2020 diff hist −1 Induction Proofs in B No edit summary
• 06:5606:56, 22 April 2020 diff hist +457 Induction Proofs in B →The full model with the inductive proof

21 April 2020

• 17:1917:19, 21 April 2020 diff hist −83 Induction Proofs in B No edit summary
• 17:1917:19, 21 April 2020 diff hist +83 Induction Proofs in B No edit summary
• 17:1717:17, 21 April 2020 diff hist 0 Induction Proofs in B No edit summary
• 17:1717:17, 21 April 2020 diff hist +252 Induction Proofs in B No edit summary
• 17:1517:15, 21 April 2020 diff hist 0 N File:Rodin Induction ScreenshotFinal.png No edit summary current
• 17:1517:15, 21 April 2020 diff hist +1,459 Induction Proofs in B No edit summary
• 17:0817:08, 21 April 2020 diff hist 0 N File:Rodin Induction Screenshot3.png No edit summary current
• 17:0817:08, 21 April 2020 diff hist +80 Induction Proofs in B No edit summary
• 17:0717:07, 21 April 2020 diff hist 0 N File:Rodin Induction Screenshot2.png No edit summary current
• 17:0617:06, 21 April 2020 diff hist 0 N File:Rodin Induction Screenshot1.png No edit summary current
• 17:0617:06, 21 April 2020 diff hist +112 Induction Proofs in B No edit summary
• 17:0417:04, 21 April 2020 diff hist +1,791 Induction Proofs in B No edit summary
• 16:5416:54, 21 April 2020 diff hist 0 N File:ProB Induction Screenshot1.png No edit summary current
• 16:5316:53, 21 April 2020 diff hist +55 Induction Proofs in B No edit summary
• 16:5216:52, 21 April 2020 diff hist +946 Induction Proofs in B No edit summary
• 16:4516:45, 21 April 2020 diff hist +671 N Induction Proofs in B Created page with " The classical B and Event-B method are both rooted in classical predicate logic and do not have an explicit inference rule for induction. The B proof rules for invariant pres..."
• 16:4116:41, 21 April 2020 diff hist −1 User Manual →Sample Models
• 16:4016:40, 21 April 2020 diff hist +29 User Manual →Sample Models

18 April 2020

• 15:1615:16, 18 April 2020 diff hist +130 User Manual →Sample Models

17 April 2020

• 08:5208:52, 17 April 2020 diff hist +7 ProB for Railways →Hybrid Level 3