User contributions for Michael Leuschel

22 April 2020

• 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
• 08:5208:52, 17 April 2020 diff hist +6 ProB for Railways →Hybrid Level 3
• 08:5108:51, 17 April 2020 diff hist 0 N File:ProB HL3 DB Screenshot.png No edit summary current
• 08:5108:51, 17 April 2020 diff hist −7 ProB for Railways →Hybrid Level 3
• 08:4108:41, 17 April 2020 diff hist +7 ProB for Railways →Hybrid Level 3
• 08:4108:41, 17 April 2020 diff hist 0 N File:ProB HL3 DB Screenshot.pdf No edit summary current
• 08:4108:41, 17 April 2020 diff hist 0 ProB for Railways →Hybrid Level 3
• 08:4008:40, 17 April 2020 diff hist −13 ProB for Railways →Hybrid Level 3
• 08:4008:40, 17 April 2020 diff hist +119 ProB for Railways No edit summary
• 07:5307:53, 17 April 2020 diff hist +12 ProB for Railways →Hybrid Level 3
• 07:5207:52, 17 April 2020 diff hist −2 ProB for Railways →Hybrid Level 3
• 07:5107:51, 17 April 2020 diff hist 0 ProB for Railways →Hybrid Level 3
• 07:5107:51, 17 April 2020 diff hist +39 ProB for Railways →Hybrid Level 3 =
• 07:5007:50, 17 April 2020 diff hist +449 ProB for Railways →Data Validation
• 07:4907:49, 17 April 2020 diff hist +973 N ProB for Railways Created page with " == Data Validation == ProB is being used within Siemens, Alstom, Thales and several other companies for data validation of complicated properties for safety critical systems...."
• 07:4707:47, 17 April 2020 diff hist +24 Links →ProB

16 April 2020

• 15:1115:11, 16 April 2020 diff hist +4 External Functions No edit summary