User contributions for Michael Leuschel

21 April 2020

• 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
• 15:1015:10, 16 April 2020 diff hist +4 The ProB Animator and Model Checker No edit summary
• 15:0915:09, 16 April 2020 diff hist +8 Download No edit summary
• 15:0715:07, 16 April 2020 diff hist +4 The ProB Animator and Model Checker No edit summary
• 13:5113:51, 16 April 2020 diff hist −229 Operation Calls in Expressions No edit summary current
• 10:4310:43, 16 April 2020 diff hist +1,833 Operation Calls in Expressions No edit summary
• 10:3910:39, 16 April 2020 diff hist +354 Operation Calls in Expressions No edit summary
• 10:3410:34, 16 April 2020 diff hist +1,535 N Operation Calls in Expressions Created page with " As of version 1.10.0 ProB allows you to call query operations in expressions. In general, B forbids to call operations in expressions: an operation is a substitution which c..."
• 09:5009:50, 16 April 2020 diff hist +37 Template:User Manual Index No edit summary

15 April 2020

• 13:5313:53, 15 April 2020 diff hist +305 External Functions No edit summary
• 13:5013:50, 15 April 2020 diff hist +305 User Manual →Sample Models
• 10:2210:22, 15 April 2020 diff hist +93 Well-Definedness Checking →Well-Definedness Errors
• 09:5609:56, 15 April 2020 diff hist +1 Well-Definedness Checking →Atom
• 09:5509:55, 15 April 2020 diff hist 0 Well-Definedness Checking →ProB2-UI
• 09:5509:55, 15 April 2020 diff hist 0 Well-Definedness Checking →probcli
• 09:5409:54, 15 April 2020 diff hist +64 Well-Definedness Checking No edit summary
• 09:5209:52, 15 April 2020 diff hist +77 Well-Definedness Checking No edit summary
• 09:5109:51, 15 April 2020 diff hist +144 Well-Definedness Checking No edit summary
• 09:5009:50, 15 April 2020 diff hist 0 N File:WD Atom Example.png No edit summary current
• 09:5009:50, 15 April 2020 diff hist 0 N File:WD Atom Settings.png No edit summary current
• 09:5009:50, 15 April 2020 diff hist +697 Well-Definedness Checking No edit summary
• 09:4609:46, 15 April 2020 diff hist +227 Well-Definedness Checking No edit summary
• 09:4409:44, 15 April 2020 diff hist 0 N File:WD Tk List.png No edit summary current
• 09:4409:44, 15 April 2020 diff hist 0 N File:WD Tk Warnings.png No edit summary current
• 09:4409:44, 15 April 2020 diff hist 0 N File:WD Tk Menu.png No edit summary current
• 09:4309:43, 15 April 2020 diff hist +431 Well-Definedness Checking No edit summary
• 09:3809:38, 15 April 2020 diff hist +1,777 Well-Definedness Checking No edit summary
• 09:2509:25, 15 April 2020 diff hist −32 Template:User Manual Index No edit summary