User contributions for Michael Leuschel

14 October 2020

• 08:3508:35, 14 October 2020 diff hist +328 VisB →VisB Attributes

13 October 2020

• 11:1411:14, 13 October 2020 diff hist +1 VisB →VisB Attributes
• 11:1411:14, 13 October 2020 diff hist +195 VisB →VisB Attributes

12 October 2020

• 14:4214:42, 12 October 2020 diff hist +73 VisB →VisB Attributes
• 14:4114:41, 12 October 2020 diff hist −2 VisB →VisB Attributes
• 14:4114:41, 12 October 2020 diff hist +170 VisB →VisB Attributes
• 14:3814:38, 12 October 2020 diff hist +209 VisB →VisB Attributes
• 14:3714:37, 12 October 2020 diff hist +821 VisB →VisB Attributes

9 October 2020

• 15:5615:56, 9 October 2020 diff hist +4 VisB →VisB Attributes
• 15:5615:56, 9 October 2020 diff hist +532 VisB →VisB Attributes
• 12:0012:00, 9 October 2020 diff hist −3 ProB for Railways →Further Industrial Uses of ProB for Data Validation
• 11:5911:59, 9 October 2020 diff hist +8 ProB for Railways →Hybrid Level 3
• 11:5911:59, 9 October 2020 diff hist +121 ProB for Railways →Hybrid Level 3
• 11:5811:58, 9 October 2020 diff hist +82 ProB for Railways →Hybrid Level 3

8 October 2020

• 10:3210:32, 8 October 2020 diff hist −1 VisB →VisB Attributes
• 10:3110:31, 8 October 2020 diff hist +749 VisB →VisB Attributes
• 10:2710:27, 8 October 2020 diff hist +310 VisB →VisB Examples
• 10:2510:25, 8 October 2020 diff hist +22 VisB →VisB Examples

23 September 2020

• 08:3608:36, 23 September 2020 diff hist +24 Well-Definedness Checking →Generating and Checking Well-Definedness Proof Obligations in ProB

21 September 2020

• 15:0915:09, 21 September 2020 diff hist +47 Using ProB with Z3 →More details
• 15:0915:09, 21 September 2020 diff hist +121 Using ProB with Z3 →Examples
• 15:0715:07, 21 September 2020 diff hist +273 Using ProB with Z3 →How to install Z3 for ProB
• 14:4914:49, 21 September 2020 diff hist 0 Download →Latest Beta Release

17 September 2020

• 09:5909:59, 17 September 2020 diff hist 0 Using ProB with Atelier B →Atelier B Plugin
• 09:5809:58, 17 September 2020 diff hist +26 Using ProB with Atelier B →Atelier B Plugin
• 09:5809:58, 17 September 2020 diff hist 0 N File:ProB AtelierB Proof.png No edit summary current
• 09:5209:52, 17 September 2020 diff hist 0 N File:ProB AtelierB Resource.png No edit summary current
• 09:5209:52, 17 September 2020 diff hist −14 Using ProB with Atelier B →Atelier B Plugin
• 09:5109:51, 17 September 2020 diff hist −12 Using ProB with Atelier B →Atelier B Plugin
• 09:5109:51, 17 September 2020 diff hist 0 Using ProB with Atelier B →Atelier B Plugin
• 09:5009:50, 17 September 2020 diff hist −1 Using ProB with Atelier B →Atelier B Plugin
• 09:5009:50, 17 September 2020 diff hist +98 Using ProB with Atelier B →Atelier B Plugin
• 09:4809:48, 17 September 2020 diff hist +60 Using ProB with Atelier B →Atelier B Plugin
• 09:4809:48, 17 September 2020 diff hist +202 Using ProB with Atelier B →Atelier B Plugin
• 09:4009:40, 17 September 2020 diff hist +288 Using ProB with Atelier B →Atelier B Plugin

10 September 2020

• 07:4507:45, 10 September 2020 diff hist +1 Induction Proofs in B →Induction and B

8 September 2020

• 14:2314:23, 8 September 2020 diff hist +1 Download →ProB2 UI using Java FX
• 14:2314:23, 8 September 2020 diff hist −2 Download →ProB2 UI using Java FX
• 14:2214:22, 8 September 2020 diff hist +61 Download →ProB2 UI using Java FX
• 14:2014:20, 8 September 2020 diff hist +71 Download →ProB2 UI using Java FX

5 September 2020

• 09:0209:02, 5 September 2020 diff hist −15 The ProB Animator and Model Checker →Versions of ProB
• 06:5906:59, 5 September 2020 diff hist −18 The ProB Animator and Model Checker →Implementation
• 06:5806:58, 5 September 2020 diff hist −65 The ProB Animator and Model Checker No edit summary
• 06:5706:57, 5 September 2020 diff hist −233 The ProB Animator and Model Checker No edit summary
• 06:5106:51, 5 September 2020 diff hist −200 The ProB Animator and Model Checker No edit summary
• 06:5006:50, 5 September 2020 diff hist −69 The ProB Animator and Model Checker No edit summary
• 06:4906:49, 5 September 2020 diff hist −124 The ProB Animator and Model Checker No edit summary

21 August 2020

• 11:3711:37, 21 August 2020 diff hist +9 Download →ProB2 UI using Java FX
• 10:4810:48, 21 August 2020 diff hist +160 Download →ProB2 UI using Java FX

18 July 2020

• 07:0407:04, 18 July 2020 diff hist 0 Download →Latest Beta Release