User contributions for Michael Leuschel

17 April 2020

• 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
• 09:2509:25, 15 April 2020 diff hist +32 Template:User Manual Index No edit summary

14 April 2020

• 10:4210:42, 14 April 2020 diff hist +156 Editors for ProB →Atom

5 March 2020

• 14:2314:23, 5 March 2020 diff hist +78 The ProB Animator and Model Checker →Versions of ProB
• 12:4412:44, 5 March 2020 diff hist +1 Rodin POs and ProB →ProB Model Checker current
• 12:4412:44, 5 March 2020 diff hist −42 Rodin POs and ProB →ProB Model Checker
• 12:4312:43, 5 March 2020 diff hist +233 Rodin POs and ProB →ProB Model Checker
• 12:3912:39, 5 March 2020 diff hist +51 Rodin POs and ProB →ProB Model Checker
• 12:3912:39, 5 March 2020 diff hist 0 N File:Prob show specialized invariants result.png No edit summary current
• 12:3812:38, 5 March 2020 diff hist 0 N File:Prob show specialized invariants menu.png No edit summary current
• 12:3812:38, 5 March 2020 diff hist +557 Rodin POs and ProB No edit summary
• 11:2911:29, 5 March 2020 diff hist +19 Rodin POs and ProB No edit summary
• 10:3010:30, 5 March 2020 diff hist +365 Rodin POs and ProB No edit summary
• 10:2710:27, 5 March 2020 diff hist +1,326 Rodin POs and ProB No edit summary
• 10:2410:24, 5 March 2020 diff hist 0 File:Rodin export pos.png Michael Leuschel uploaded a new version of File:Rodin export pos.png current
• 10:2410:24, 5 March 2020 diff hist 0 N File:Rodin export pos.png No edit summary
• 10:2310:23, 5 March 2020 diff hist +77 Rodin POs and ProB No edit summary
• 10:2110:21, 5 March 2020 diff hist +3 Rodin POs and ProB No edit summary
• 10:2010:20, 5 March 2020 diff hist +582 N Rodin POs and ProB Created page with " What is the relationship between Rodin proof obligations (POs) and ProB. == ProB Prover Disprover == ProB can be applied to individual POs by clicking the ProB button in th..."